Thanks! I will take this as an OK to commit. Regards
Paul On 19 May 2018 at 10:18, Dominique d'Humières <domi...@lps.ens.fr> 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