On Tue, Mar 12, 2019 at 11:41:22AM +0100, Andreas Tille wrote:
> Michael Crusoe has suggested a workaround[1]. What do you think about
> this?
In case there is no answer to this question I assume it is OK to
upload the workaround. Hope you agree with this.
Kind regards
Andreas.
> [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=912549#10
--
http://fam-tille.de