On Tue, Jul 03, 2018 at 02:57:40PM +0200, Stefan Sperling wrote: > Apart from the above points, this change looks like an improvement to me. > Could you send a fixed version?
A new patch was provided off-list by David and I have just committed it. Thanks!
