1-800-GIT-HELP Reverting a patch

[Thomas Koenig]

Am 21.05.20 um 11:45 schrieb Andreas Schwab:
> On Mai 21 2020, Thomas Koenig via Gcc wrote:
> 
>> $ git revert r9-8541-g2a732dbdfcc0a3bc2b4bdb5387fffa193fea6df6
>>
>> on origin/releases/gcc-9, and now only the ChangeLog entries reversed
>> (which is not wanted), but the code is unchanged (which is even
>> less wanted).
> 
> You are trying to revert a commit that is already reverted (commit
> cb2c76c8b15).

Ah, I see, thanks!

An error message or warning from git might have been nice, though.

Regards

	Thomas