Bug#819548: apt-get dist-upgrade solved it today on testing

[Jean-Marc]

Hi Andreas,

Today, a standard dist-upgrade solved it on a PC I left unchanged on Stretch.
Great work.
Thank you.

Kindest regards,

Jean-Marc <jean-m...@6jf.be>

pgpZhrfPmeUV5.pgp
Description: PGP signature