From ca9997f94eb0660b28e2cd151c523916db46e0a5 Mon Sep 17 00:00:00 2001
From: Erik Faye-Lund
Date: Thu, 16 Jan 2020 18:01:41 +0100
Subject: [PATCH] docs: use code-tags instead of pre-tags
Similar to the previous two commits, it seems more appropriate to use
code-tags here than pre-tag.
Fixes: 9af6c38deff "docs: Add use of Closes: tag for closing gitlab issues"
Acked-by: Dylan Baker
Reviewed-by: Eric Engestrom
Part-of:
(cherry picked from commit a370cfd96ed11463a9e76c1d9bc42eb5f3858fde)
---
.pick_status.json | 2 +-
docs/submittingpatches.html | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.pick_status.json b/.pick_status.json
index 5ed43f11ec9..c8f9b0a584d 100644
--- a/.pick_status.json
+++ b/.pick_status.json
@@ -2965,7 +2965,7 @@
"description": "docs: use code-tags instead of pre-tags",
"nominated": true,
"nomination_type": 1,
- "resolution": 0,
+ "resolution": 1,
"master_sha": null,
"because_sha": "9af6c38deff0f91c6c2a20d61a07a388594a39ac"
},
diff --git a/docs/submittingpatches.html b/docs/submittingpatches.html
index 9058b065d95..c10637f3e4d 100644
--- a/docs/submittingpatches.html
+++ b/docs/submittingpatches.html
@@ -80,8 +80,8 @@ For example:
Closes: https://gitlab.freedesktop.org/mesa/mesa/issues/1
-Prefer the full url to just
Closes: #1
, since the url makes it
-easier to get to the bug page from git log
+Prefer the full url to just Closes: #1, since the url makes it
+easier to get to the bug page from git log
Do not use the Fixes: tag for this! Mesa already uses Fixes for something else.
If a patch addresses a issue introduced with earlier commit, that should be