pushed Bug#901274
On Mon, Jun 11, 2018 at 9:59 AM, Chris Lamb <[email protected]> wrote:
> 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
> `-
