On Wed, May 29, 2019 at 18:16:12 +0200, Andreas Ronnquist wrote: [...] > Thanks for your report - I have committed a fix for this in the > packaging git repository, so it will be fixed in the next upload after > the Debian freeze. [...]
Thanks! Elrond
