Merge branch 'rs/notes-merge-no-toctou'

diff --git a/Documentation/rev-list-options.txt b/Documentation/rev-list-options.txt
index 4f009d44240e3725e25bc8a9a3acd999d69cc487..c5bd21812d63418e9011c32c96f5adc9bc193c90 100644 (file)
--- a/Documentation/rev-list-options.txt
+++ b/Documentation/rev-list-options.txt
@@ -193,7 +193,7 @@ endif::git-rev-list[]
 
 --stdin::
        In addition to the '<commit>' listed on the command
-       line, read them from the standard input. If a '--' separator is
+       line, read them from the standard input. If a `--` separator is
        seen, stop reading commits and start reading paths to limit the
        result.