diff --git a/packaging/debian/debian/changelog b/packaging/debian/debian/changelog
index 6daa3fcf..e6577e18 100644
--- a/packaging/debian/debian/changelog
+++ b/packaging/debian/debian/changelog
@@ -1,3 +1,10 @@
+recoll (1.25.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
+                
+  * New release 1.25.12
+  * Fixes GUI crash
+  
+ -- Jean-Francois Dockes <jf@dockes.org>  Wed, 11 Apr 2019 15:52:00 +0200
+
 recoll (1.25.11-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
                 
   * New release 1.25.11
diff --git a/packaging/debian/debiankio/changelog b/packaging/debian/debiankio/changelog
index 2ea7656f..e68aba72 100644
--- a/packaging/debian/debiankio/changelog
+++ b/packaging/debian/debiankio/changelog
@@ -1,3 +1,10 @@
+kio-recoll (1.25.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
+                
+  * New release 1.25.12
+  * Keep kio in sync
+  
+ -- Jean-Francois Dockes <jf@dockes.org>  Wed, 11 Apr 2019 15:52:00 +0200
+
 kio-recoll (1.25.11-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
                 
   * New release 1.25.11
diff --git a/src/VERSION b/src/VERSION
index 4fd16253..ac2f7f3a 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.25.11
+1.25.12
diff --git a/src/common/autoconfig-win.h b/src/common/autoconfig-win.h
index 5a4b90f3..3bd56dd1 100644
--- a/src/common/autoconfig-win.h
+++ b/src/common/autoconfig-win.h
@@ -112,10 +112,10 @@ overriden in the c++ code by ifdefs _WIN32 anyway  */
 #define PACKAGE_NAME "Recoll"
 
 /* Define to the full name and version of this package. */
-#define PACKAGE_STRING "Recoll 1.25.11"
+#define PACKAGE_STRING "Recoll 1.25.12"
 
 /* Define to the version of this package. */
-#define PACKAGE_VERSION "1.25.11"
+#define PACKAGE_VERSION "1.25.12"
 
 /* Define to the one symbol short name of this package. */
 #define PACKAGE_TARNAME "recoll"