diff options
author | Erik Faye-Lund <[email protected]> | 2019-06-03 18:50:41 +0200 |
---|---|---|
committer | Erik Faye-Lund <[email protected]> | 2019-06-05 23:48:45 +0200 |
commit | 412046f74ee53b58c4eb01581d5664a789ce4c5a (patch) | |
tree | 262fef49dced9b91caa2ee30b4bcecf4dc563e65 /docs | |
parent | 8620f53212df1a96f5ae1d180dacb28418bf6cc8 (diff) |
docs: improve quoting slightly
Signed-off-by: Erik Faye-Lund <[email protected]>
Reviewed-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/releasing.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/releasing.html b/docs/releasing.html index 873cc25eb9b..e85126b2db2 100644 --- a/docs/releasing.html +++ b/docs/releasing.html @@ -176,7 +176,7 @@ good contact point. <p> <strong>Note:</strong> If a patch in the current queue needs any additional fix(es), then they should be squashed together. The commit messages and the -<code>cherry picked from</code> tags must be preserved. +"<code>cherry picked from</code>"-tags must be preserved. </p> <p> |