On 13.03.19 10:54, Andreas Tille wrote: > 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. please look at the new upstream 1.7.2 and 1.8 releases.