At 2018-11-07T01:47:29+0100, Bertrand Garrigues wrote: > Hi Ingo, > > On Mon, Nov 05 2018 at 11:36:42 AM, "G. Branden Robinson" > <g.branden.robin...@gmail.com> wrote: > >> So here is a complete patch to fix all issues mentioned by Branden > >> and Bjarni in this thread, unless i missed any. > >> > >> I don't think a ChangeLog entry is needed because these a merely > >> simple fixes of recent regressions in a very unimportant area. > >> > >> OK to push? > > > > No objections; looks good to me. Go for it! > > Your patch works on my environment too, you can commit it.
Ping? Ingo, can you go ahead and push this? If not, I'm happy to so do--all due credit to you and Bjarni, of course. I'll go ahead probably later today if no one objects (or preëmpts me). -- Regards, Branden
signature.asc
Description: PGP signature
