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

diff --git a/Documentation/git-tag.txt b/Documentation/git-tag.txt
index 6b89393746af6a4fb21011ea0f4cc758ce2db403..7ecca8e247c57befb08050b66dc07bb9fba9a890 100644 (file)
--- a/Documentation/git-tag.txt
+++ b/Documentation/git-tag.txt
@@ -167,7 +167,7 @@ This option is only applicable when listing tags without annotation lines.
 
 --[no-]merged [<commit>]::
        Only list tags whose tips are reachable, or not reachable
-       if '--no-merged' is used, from the specified commit ('HEAD'
+       if `--no-merged` is used, from the specified commit (`HEAD`
        if not specified).
 
 CONFIGURATION