Thanks! I will take this as an OK to commit. Regards
Paul On 19 May 2018 at 10:18, Dominique d'Humières <[email protected]> wrote: > The patch works as expected and fixes also PRs 66694 and 82617. > > Thanks, > > Dominique > -- "If you can't explain it simply, you don't understand it well enough" - Albert Einstein
