From df6fe9d9db9586cb18d85b7c6ac09a4709fcebe6 Mon Sep 17 00:00:00 2001
From: cjwatson <>
Date: Fri, 16 May 2003 06:36:05 -0800
Subject: [PATCH] [project @ 2003-05-16 07:36:04 by cjwatson] Add note on
 supplying multiple tags.

---
 html/Developer.html.in | 1 +
 html/Reporting.html.in | 1 +
 2 files changed, 2 insertions(+)

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>
-- 
2.39.5