On Fri, Jul 20, 2012 at 09:32:10PM +0200, Rémi Cardona wrote: > It's definitely worth an extra patch if it's more widespread than just > this bit. Ok, done and sent. > In any case, the previous patch is: > > Reviewed-by: Rémi Cardona <remi.cardona at free.fr> Thanks, noted in the new version of the patch I just sent. Thomas