Merge branch 'master' of https://opensourceprojects.eu/git/p/recoll1/code
Authored by: Jean-Francois Dockes 2019-01-30
Parent(s): [836899][ab17d7]
Child(ren): [f0d064]