On 2017-07-11T14:35:07+0200, Arend van Spriel wrote: > [...] > > Looking at the diff of the bad commit, I came up with the patch below. > Can you try it and let me know the result? That seems to fix everything for me, thanks for the quick patch! Thanks, S. Gilles
