[project @ 2004-06-07 10:14:07 by cjwatson]

merge doesn't require title match or affect titles; thanks to Dan Jacobson.

diff --git a/html/server-control.html.in b/html/server-control.html.in
index f5e96660ab43c02a1a254880854338606ff7babf..bcd08cb0ac21658dcceb94bdfb8e54d5fc0799a5 100644 (file)
--- a/html/server-control.html.in
+++ b/html/server-control.html.in
@@ -151,7 +151,8 @@ mailservers is available via the WWW, in
   package to which the $gBug is assigned), and all of the same severity.
   If they don't start out in the same state you should use
   <code>reassign</code>, <code>reopen</code> and so forth to make sure
-  that they are before using <code>merge</code>.
+  that they are before using <code>merge</code>. Titles are not required
+  to match, and will not be affected by the merge.
 
   <p>If any of the $gBugs listed in a <code>merge</code> command is already
   merged with another $gBug then all the reports merged with any of the