From 602d34f9ff4095d80837d845b9291a119407813b Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Fri, 24 May 2019 09:00:13 +0200 Subject: [PATCH] 1.25.17 for snippets bug --- packaging/debian/buildppa.sh | 6 +++--- packaging/debian/debian/changelog | 7 ++++--- packaging/debian/debiankio/changelog | 6 +++--- packaging/debian/debiankio/patches/series | 1 - packaging/rpm/recoll.spec | 2 +- src/VERSION | 2 +- 6 files changed, 12 insertions(+), 12 deletions(-) diff --git a/packaging/debian/buildppa.sh b/packaging/debian/buildppa.sh index 2f4facef..bb23b0d3 100644 --- a/packaging/debian/buildppa.sh +++ b/packaging/debian/buildppa.sh @@ -6,7 +6,7 @@ PPA_KEYID=D38B9201 -RCLVERS=1.25.16 +RCLVERS=1.25.17 SCOPEVERS=1.20.2.4 GSSPVERS=1.0.0 PPAVERS=1 @@ -49,7 +49,7 @@ debdir=debian # No new releases for trusty either because of risk of kio compat (kio # wont build) series="xenial bionic cosmic disco" -series=bionic +#series= if test "X$series" != X ; then check_recoll_orig @@ -86,7 +86,7 @@ done ### KIO. Does not build on trusty from recoll 1.23 because of the need ### for c++11 series="xenial bionic cosmic disco" -series= +#series= debdir=debiankio topdir=kio-recoll-${RCLVERS} diff --git a/packaging/debian/debian/changelog b/packaging/debian/debian/changelog index 9c7983a3..7108a665 100644 --- a/packaging/debian/debian/changelog +++ b/packaging/debian/debian/changelog @@ -1,5 +1,6 @@ -recoll (1.25.16-1~ppaPPAVERS~SERIES1) SERIES; urgency=low - +recoll (1.25.17-1~ppaPPAVERS~SERIES1) SERIES; urgency=low + + * Fixed bug in snippets generation, possibly discarding the best snippets. * Small improvements in synonyms handling, significant for big synonym files. * Raw indexes: fix test for capitals in user input in a few marginal @@ -13,7 +14,7 @@ recoll (1.25.16-1~ppaPPAVERS~SERIES1) SERIES; urgency=low * Python: fix memory leak in Python module. * Python: properly manage querying multiple separate indexes. - -- Jean-Francois Dockes Wed, 22 May 2019 09:13:00 +0200 + -- Jean-Francois Dockes Fri, 24 May 2019 08:58:00 +0200 recoll (1.25.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low diff --git a/packaging/debian/debiankio/changelog b/packaging/debian/debiankio/changelog index 6ec7fc7b..30a6245a 100644 --- a/packaging/debian/debiankio/changelog +++ b/packaging/debian/debiankio/changelog @@ -1,9 +1,9 @@ -kio-recoll (1.25.16-1~ppaPPAVERS~SERIES1) SERIES; urgency=low +kio-recoll (1.25.17-1~ppaPPAVERS~SERIES1) SERIES; urgency=low - * New release 1.25.16 + * New release 1.25.17 * Keep kio in sync - -- Jean-Francois Dockes Wed, 22 May 2019 14:52:00 +0200 + -- Jean-Francois Dockes Fri, 24 May 2019 08:58:00 +0200 kio-recoll (1.25.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low diff --git a/packaging/debian/debiankio/patches/series b/packaging/debian/debiankio/patches/series index 978cb7ce..e69de29b 100644 --- a/packaging/debian/debiankio/patches/series +++ b/packaging/debian/debiankio/patches/series @@ -1 +0,0 @@ -kio_recoll-1.12-adapt.patch diff --git a/packaging/rpm/recoll.spec b/packaging/rpm/recoll.spec index 13ed872e..07770674 100644 --- a/packaging/rpm/recoll.spec +++ b/packaging/rpm/recoll.spec @@ -3,7 +3,7 @@ Summary: Desktop full text search tool with Qt GUI Name: recoll -Version: 1.25.4 +Version: 1.25.17 Release: 2%{?dist} Group: Applications/Databases License: GPLv2+ diff --git a/src/VERSION b/src/VERSION index 33f0e23c..778b8ccb 100644 --- a/src/VERSION +++ b/src/VERSION @@ -1 +1 @@ -1.25.16 +1.25.17