diff options
| author | Glenn Morris | 2009-02-03 04:04:40 +0000 |
|---|---|---|
| committer | Glenn Morris | 2009-02-03 04:04:40 +0000 |
| commit | 9270da333d02467acd85b100e77d30aef19deabc (patch) | |
| tree | fcf79d2c6f5dee9fcfc879e4a43b55682e38fe4d | |
| parent | 3baeb95e46a1a87c2dfc4a60de8dab06cf4215da (diff) | |
| download | emacs-9270da333d02467acd85b100e77d30aef19deabc.tar.gz emacs-9270da333d02467acd85b100e77d30aef19deabc.zip | |
Can't clone a merged bug.
| -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 | |||
| 180 | The negative numbers provide a way to refer to the cloned bugs (which | 180 | The negative numbers provide a way to refer to the cloned bugs (which |
| 181 | will be assigned proper numbers). | 181 | will be assigned proper numbers). |
| 182 | 182 | ||
| 183 | NB you cannot clone a merged bug. You'd think that trying to do so | ||
| 184 | would just give you an unmerged copy of the specified bug number, but no: | ||
| 185 | |||
| 186 | http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=474742 | ||
| 187 | |||
| 188 | You must unmerge, clone, then re-merge. | ||
| 189 | |||
| 183 | *** To set severity: | 190 | *** To set severity: |
| 184 | severity 123 critical|grave|serious|important|normal|minor|wishlist | 191 | severity 123 critical|grave|serious|important|normal|minor|wishlist |
| 185 | 192 | ||