Bastien,

> >> > Could you move the other changes to this branch too (or a "901274"
> >> > branch/MR or something?) 
> >>
> >> Did you prefer a reset or reset of master ?
> >
> > A reset or a reset?
>
> A reset or a revert...

I have subsequently pushed other fixes so a [--hard] reset is not
possible and would also require an ugly force push. At this point
pleas please back out all of the commits in a single commit.


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      [email protected] / chris-lamb.co.uk
       `-

Reply via email to