On Mon, Feb 10, 2020 at 01:19:38PM +0100, Chris wrote: > Hello, > > this is the reworked patch - rebased on the current development-HEAD > and formatted according to CONTRIBUTIONS.
Thank you Chris. That's perfect, except for one thing, which is that your mailer mangled it by wrapping some long lines and changing tabs for spaces. I tried a few minutes to fix it by hand but failed and gave up. Please re-send it as an attachment then, it should work fine. Thanks, Willy