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
