Committed as r263916. Thanks for taking a look over it, Thomas.
Paul On Mon, 27 Aug 2018 at 20:26, Thomas Koenig <tkoe...@netcologne.de> wrote: > > Hi Paul, > > > Bootstrapped and regtested on FC28/x86_64 - OK for trunk? > > OK, and thanks for the patch! > > Regards > > Thomas -- "If you can't explain it simply, you don't understand it well enough" - Albert Einstein
