diff --git a/packaging/debian/buildppa.sh b/packaging/debian/buildppa.sh index 472aa50a..311e22fe 100644 --- a/packaging/debian/buildppa.sh +++ b/packaging/debian/buildppa.sh @@ -12,7 +12,7 @@ PPA_KEYID=7808CE96D38B9201 -RCLVERS=1.28.0pre3 +RCLVERS=1.28.0pre4 SCOPEVERS=1.20.2.4 GSSPVERS=1.1.0 PPAVERS=1 diff --git a/packaging/debian/debian/changelog b/packaging/debian/debian/changelog index 669b1703..7e2f1e89 100644 --- a/packaging/debian/debian/changelog +++ b/packaging/debian/debian/changelog @@ -1,9 +1,11 @@ -recoll (1.28.0pre3-1~ppaPPAVERS~SERIES1) SERIES; urgency=low +recoll (1.28.0pre4-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 Wed, 25 Nov 2020 10:28:00 +0100 + * Fix CJK indexing in specific case of encountering numeric after CJK + punctuation. + + -- Jean-Francois Dockes Wed, 25 Nov 2020 17:57:00 +0100 recoll (1.27.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low diff --git a/src/VERSION b/src/VERSION index 80875d16..f57df735 100644 --- a/src/VERSION +++ b/src/VERSION @@ -1 +1 @@ -1.28.0pre3 +1.28.0pre4