> Le 24 oct. 2015 à 15:46, Dominique d'Humières <dominiq@lps.ens.fr> a écrit : > > Dear Paul, > > AFAICT no patch! > > Dominique > If I am not mistaken, your patch fixes pr67528 also. Dominique