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
`-

