On Sun, May 6, 2018 at 5:32 PM, wm4 <nfxjfg at googlemail.com> wrote: > > Hilarious, another of those EOf issues. Too bad we didn't just revert > that crap. I wonder how many years it'll take until we got all of them. > > LGTM. Thanks, pushed. This should be back-ported to release/4.0 I guess? Jan