Le dim. 5 mai 2019 à 15:24, Jeremy Sowden <jeremy@xxxxxxxxxx> a écrit : > Your patch has been mangled. Thank you for warning me. A problem with git and GMail which seem not to be good friend, but I think I managed to configure everything correctly now. I will send it again in a few minutes. Stéphane.