On Apr 4, 2017, at 2:20 AM, Dominique d'Humières <domi...@lps.ens.fr> wrote: >> Dominique has already tested it on Darwin 16 and said he'll test on Darwin >> 10; I'm waiting for those results. >> >> Jakub > > No problem with darwin10.
I'm fine with the patch.
