Merge branch 'bb/grep-pcre2-bug-message-fix'

diff --git a/Documentation/git-revert.txt b/Documentation/git-revert.txt
index fae4d66547fb900d79d2bafad52cf0aba9a51158..9d22270757c9b5d402f680a3f5933989678cb6f0 100644 (file)
--- a/Documentation/git-revert.txt
+++ b/Documentation/git-revert.txt
@@ -9,9 +9,7 @@ SYNOPSIS
 --------
 [verse]
 'git revert' [--[no-]edit] [-n] [-m parent-number] [-s] [-S[<keyid>]] <commit>...
-'git revert' --continue
-'git revert' --quit
-'git revert' --abort
+'git revert' (--continue | --skip | --abort | --quit)
 
 DESCRIPTION
 -----------