From 14963d032d09f95dcbe10f4e7fadba3338e555ad Mon Sep 17 00:00:00 2001
From: cjwatson <>
Date: Wed, 5 Mar 2003 14:15:57 -0800
Subject: [PATCH] [project @ 2003-03-05 14:15:57 by cjwatson] Document the
 Tags: header in Reporting.

---
 html/Reporting.html.in | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/html/Reporting.html.in b/html/Reporting.html.in
index 7c86111..733fd25 100644
--- a/html/Reporting.html.in
+++ b/html/Reporting.html.in
@@ -130,6 +130,20 @@ severity levels available are described in the
 <a href="Developer.html#severities">developers' documentation</a>.
 
 
+<h2><a name="tags">Assigning tags</a></h2>
+
+<p>You can set tags on a $gBug as you are reporting it. For example, if
+you are including a patch with your $gBug report, you may wish to set
+the <code>patch</code> tag.  This is not required, and the developers
+will set tags on your report as and when it is appropriate.
+
+<p>To set tags, put a <code>Tags: <var>tags</var></code> line in the
+<a name="#pseudoheader">pseudo-header</a> together with the usual
+<code>Package</code> and <code>Version</code>.  The tags available are
+described in the
+<a href="Developer.html#tags">developers' documentation</a>.
+
+
 <h2>Not forwarding to the mailing list - minor $gBug reports</h2>
 
 <p>If a $gBug report is minor (for example, a documentation typo or other
-- 
2.39.2