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

Reply via email to