diff options
| author | Glenn Morris <rgm@gnu.org> | 2009-02-03 04:04:40 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2009-02-03 04:04:40 +0000 |
| commit | 9270da333d02467acd85b100e77d30aef19deabc (patch) | |
| tree | fcf79d2c6f5dee9fcfc879e4a43b55682e38fe4d /admin | |
| parent | 3baeb95e46a1a87c2dfc4a60de8dab06cf4215da (diff) | |
| download | emacs-9270da333d02467acd85b100e77d30aef19deabc.tar.gz | |
Can't clone a merged bug.
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/notes/bugtracker | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/admin/notes/bugtracker b/admin/notes/bugtracker index d0b7b92ecf9..a8b2b6f6ee7 100644 --- a/admin/notes/bugtracker +++ b/admin/notes/bugtracker @@ -180,6 +180,13 @@ retitle -2 third bug 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 |