diff --git a/packaging/debian/buildppa.sh b/packaging/debian/buildppa.sh index 1c7a6898..472aa50a 100644 --- a/packaging/debian/buildppa.sh +++ b/packaging/debian/buildppa.sh @@ -12,7 +12,7 @@ PPA_KEYID=7808CE96D38B9201 -RCLVERS=1.28.0pre2 +RCLVERS=1.28.0pre3 SCOPEVERS=1.20.2.4 GSSPVERS=1.1.0 PPAVERS=1 diff --git a/packaging/debian/debian/changelog b/packaging/debian/debian/changelog index 20e2059e..669b1703 100644 --- a/packaging/debian/debian/changelog +++ b/packaging/debian/debian/changelog @@ -1,9 +1,9 @@ -recoll (1.28.0pre2-1~ppaPPAVERS~SERIES1) SERIES; urgency=low +recoll (1.28.0pre3-1~ppaPPAVERS~SERIES1) SERIES; urgency=low * Add preferences options to hide most GUI elements except the result area and the simple search entry. - -- Jean-Francois Dockes Mon, 23 Nov 2020 14:55:00 +0100 + -- Jean-Francois Dockes Wed, 25 Nov 2020 10:28:00 +0100 recoll (1.27.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low diff --git a/src/VERSION b/src/VERSION index be8975ec..80875d16 100644 --- a/src/VERSION +++ b/src/VERSION @@ -1 +1 @@ -1.28.0pre2 +1.28.0pre3