On 15 août 2019 19:29, christophe leroy <christophe.le...@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
