Correction d'un erreur de merge du plugin mercurial