[project @ 2003-07-15 13:28:27 by cjwatson]

[debbugs.git] / html / Developer.html.in

diff --git a/html/Developer.html.in b/html/Developer.html.in
index d7687c7311d092d8b18445022b9a3beb354bcd3d..5dad8b9d7a7eceb2f589a2ec8ec81d29270c9058 100644 (file)
--- 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:
 
@@ -129,7 +130,7 @@ report.
 <p>When the $gBug tracking system gets a message at
 <var>nnn</var><code>-forwarded</code> it will mark the relevant $gBug as
 having been forwarded to the address(es) in the <code>To</code> field
-of the message it gets.
+of the message it gets, if the $gBug is not already marked as forwarded.
 
 <p>You can also manipulate the `forwarded to' information by sending
 messages to <a href="server-control.html"><code>control\@$gEmailDomain</code></a>.