Re: [PATCH 2/3] 1/3 warnings: fix early exit of warnings treated as errors

[Akim Demaille]

Le 26 oct. 2012 à 18:38, Théophile Ranquet a écrit :

> The previous commit was a bit messy, so I split it as follows:

Thanks, installed.