On Mon, 20 Jul 2020 12:14:59 +0200 Bastian Germann <bastiangerm...@fishpost.de> wrote: > The changes are included in the current version. This issue can be closed. >
In which Debian package version has this been fixed? (to close the bug with the version set right, please say "bts done 889868 <version>" in your preferred terminal.) -- tobi