diff --git a/settings b/settings
index 1b9cc88..473aa1d 160000
--- a/settings
+++ b/settings
@@ -1 +1 @@
-Subproject commit 1b9cc88ccf64993951fe28cf426cf883e37e1b4d
+Subproject commit 473aa1d9354a7dc352c696741aa8b994ca0edd61
diff --git a/util/upload-distfiles.sh b/util/upload-distfiles.sh
index 5012055..1ce211e 100644
--- a/util/upload-distfiles.sh
+++ b/util/upload-distfiles.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-pkgver=88.0
+pkgver=88.0.1
 private_token=$1
 if [ -z $private_token ]; then
     echo "Please specify the Gitlab PRIVATE TOKEN on the commandline."
diff --git a/version.sh b/version.sh
index 5975139..91ffa4f 100644
--- a/version.sh
+++ b/version.sh
@@ -1 +1 @@
-pkgver=88.0
+pkgver=88.0.1