# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1233633880 0
# Node ID 9268e7d849551f72d0bd7ebf8bfb6e42d892f614
# Parent  1851b1154a2782962fbd7d27dd464d86b21150eb
Can't clone a merged bug.

diff -r 1851b1154a27 -r 9268e7d84955 admin/notes/bugtracker
--- a/admin/notes/bugtracker	Tue Feb 03 04:04:15 2009 +0000
+++ b/admin/notes/bugtracker	Tue Feb 03 04:04:40 2009 +0000
@@ -180,6 +180,13 @@
 The negative numbers provide a way to refer to the cloned bugs (which
 will be assigned proper numbers).
 
+NB you cannot clone a merged bug.  You'd think that trying to do so
+would just give you an unmerged copy of the specified bug number, but no:
+
+http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=474742
+
+You must unmerge, clone, then re-merge.
+
 *** To set severity:
 severity 123 critical|grave|serious|important|normal|minor|wishlist