Neil Jerram <[email protected]> writes:
> Julian Graham <[email protected]> writes:
>
>> Hi Ludovic,
>>
>>> You can't undo it. :-)
>>
>> But surely the "owner" of the Savannah repository can remove an
>> offending commit from the history, no?
>
> I thought so, yes. But I hesitate to contradict Ludo...
>
> Don't worry too much, this looks to me like something we can fix.
> I'll have time to investigate further later this evening, if no one
> gets there before me.
OK, I'm about to try sorting this out, which will change the last 2
commits of the master branch. Please hold off doing any pulling or
pushing until I've done that and everything looks OK again.
Thanks,
Neil
