Committed as revision 253362. Thanks for taking a look at it. I will wait a week or so before committing to 7-branch.
Paul On 1 October 2017 at 14:43, Thomas Koenig <tkoe...@netcologne.de> wrote: > Hi Paul, > >> Bootstraps and regtests on FC23/x86_64 - OK for trunk and 7 branch? > > > OK for both. Thanks for the patch! > > Regards > > Thomas -- "If you can't explain it simply, you don't understand it well enough" - Albert Einstein
