Bastien, > >> >> Did you prefer a reset or reset of master ? > >> > > >> > A reset or a reset? > >> > >> A reset or a revert... > > pushed Bug#901274
May I suggest making a merge requests so it's easier to comment on? Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-