From: cjwatson <>
Date: Fri, 16 May 2003 14:36:05 +0000 (-0800)
Subject: [project @ 2003-05-16 07:36:04 by cjwatson]
X-Git-Tag: release/2.6.0~914
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=df6fe9d9db9586cb18d85b7c6ac09a4709fcebe6;p=debbugs.git

[project @ 2003-05-16 07:36:04 by cjwatson]
Add note on supplying multiple tags.
---

diff --git a/html/Developer.html.in b/html/Developer.html.in
index c512a7f9..5dad8b9d 100644
--- a/html/Developer.html.in
+++ b/html/Developer.html.in
@@ -84,6 +84,7 @@ the $gBug is submitted (see the
 <a href="Reporting.html#pseudoheader">instructions for reporting $gBugs</a>),
 or by using the <code>severity</code> command with the
 <a href="#requestserv">control request server</a>.
+Separate multiple tags with commas, spaces, or both.
 
 <p>The severity levels are:
 
diff --git a/html/Reporting.html.in b/html/Reporting.html.in
index dff091e8..30ced957 100644
--- a/html/Reporting.html.in
+++ b/html/Reporting.html.in
@@ -205,6 +205,7 @@ Tags: &lt;<var>tags</var>&gt;
 <p>Replace &lt;<var>tags</var>&gt; with one or more of the available tags,
 as described in the
 <a href="Developer.html#tags">developers' documentation</a>.
+Separate multiple tags with commas, spaces, or both.
 
 
 <h2>Not forwarding to the mailing list - minor $gBug reports</h2>