On 15 août 2019 19:29, christophe leroy <christophe.leroy at c-s.fr> wrote: > Le 15/08/2019 à 19:05, Mathieu Malaterre a écrit : >> Does that ring a bell to anyone here ? Thanks > > Apparently that's 5.2.0, not 5.2.7 Yes, 5.2.7 is the Debian package version. Sorry for the mistake. Christian