branch: externals/debbugs
commit 083a6e494f445bb8f26ad5b79a2e9391752c72f9
Author: Lars Magne Ingebrigtsen <[email protected]>
Commit: Lars Magne Ingebrigtsen <[email protected]>
Fix last checkin.
---
debbugs-gnu.el | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/debbugs-gnu.el b/debbugs-gnu.el
index 3933ff8..b9259e3 100644
--- a/debbugs-gnu.el
+++ b/debbugs-gnu.el
@@ -654,7 +654,8 @@ removed instead."
(format "close %d %s\n" id version))
((equal message "done")
(format "tags %d fixed\nclose %d %s\n" id id version))
- ((member message '("donenotabug" "donewontfix"))
+ ((member message '("donenotabug" "donewontfix"
+ "doneunreproducible"))
(format "tags %d %s\nclose %d\n" id (substring message 4) id))
((member message '("important" "normal" "minor" "wishlist"))
(format "severity %d %s\n" id message))
