From ef5eed8bc6d5024710754b0f4e156bf9bc5c4267 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Fri, 17 May 2019 10:31:30 +0200
Subject: [PATCH] interim version 1.25.16~pre1

---
 packaging/debian/buildppa.sh      | 4 ++--
 packaging/debian/debian/changelog | 6 ++++++
 src/VERSION                       | 2 +-
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/packaging/debian/buildppa.sh b/packaging/debian/buildppa.sh
index 9fe98110..e0562e7b 100644
--- a/packaging/debian/buildppa.sh
+++ b/packaging/debian/buildppa.sh
@@ -6,7 +6,7 @@
 
 PPA_KEYID=D38B9201
 
-RCLVERS=1.25.12
+RCLVERS=1.25.16~pre1
 SCOPEVERS=1.20.2.4
 GSSPVERS=1.0.0
 PPAVERS=5
@@ -22,7 +22,7 @@ case $RCLVERS in
     1.14*) PPANAME=recoll-ppa;;
     *)     PPANAME=recoll15-ppa;;
 esac
-#PPANAME=recollexp-ppa
+PPANAME=recollexp-ppa
 echo "PPA: $PPANAME. Type CR if Ok, else ^C"
 read rep
 
diff --git a/packaging/debian/debian/changelog b/packaging/debian/debian/changelog
index e6577e18..cef76aa6 100644
--- a/packaging/debian/debian/changelog
+++ b/packaging/debian/debian/changelog
@@ -1,3 +1,9 @@
+recoll (1.25.16~pre1-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
+                
+  * Small improvements in synonyms handling
+  
+ -- Jean-Francois Dockes <jf@dockes.org>  Wed, 11 Apr 2019 15:52:00 +0200
+
 recoll (1.25.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
                 
   * New release 1.25.12
diff --git a/src/VERSION b/src/VERSION
index efceb7db..20d2e83e 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.25.15
+1.25.16~pre1