diff --git a/packaging/debian/buildppa.sh b/packaging/debian/buildppa.sh
index 3d43ddf8..4a5d1a32 100644
--- a/packaging/debian/buildppa.sh
+++ b/packaging/debian/buildppa.sh
@@ -12,7 +12,7 @@
 
 PPA_KEYID=7808CE96D38B9201
 
-RCLVERS=1.28.6pre3
+RCLVERS=1.28.6pre4
 SCOPEVERS=1.20.2.4
 GSSPVERS=1.1.0
 PPAVERS=1
diff --git a/packaging/debian/debian/changelog b/packaging/debian/debian/changelog
index bc5e0429..c514b680 100644
--- a/packaging/debian/debian/changelog
+++ b/packaging/debian/debian/changelog
@@ -1,4 +1,4 @@
-recoll (1.28.6pre3-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
+recoll (1.28.6pre4-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
 
   * Shortcuts editor
   
diff --git a/src/VERSION b/src/VERSION
index c7702514..3c9a5e47 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.28.6pre3
+1.28.6pre4