Am 21.05.20 um 13:05 schrieb Andreas Schwab:
On Mai 21 2020, Thomas Koenig wrote:An error message or warning from git might have been nice, though.How can it know?
Obviously, reverting the already applied patch was a no-op. I would assume that git noticed that, and could issue a message like "applying diff to foo.c failed". patch(1) manages it.