diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 17:12:41 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 17:12:41 +0200 |
commit | a2959158ecdbbb45c60b60e7f47a2b37d7505d7f (patch) | |
tree | 5903dea73958fe3710e454aac4bf92dc297d9ea2 | |
parent | 4811afc03e8c35ab20a47aefbf1bab839e5cd092 (diff) |
debbugs: Default to "normal" severity.
-rw-r--r-- | mumi/debbugs.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mumi/debbugs.scm b/mumi/debbugs.scm index 1f6d430..c2b3c56 100644 --- a/mumi/debbugs.scm +++ b/mumi/debbugs.scm @@ -274,7 +274,7 @@ defaults to 30 days." (assoc-ref properties "Merged-With") (assoc-ref properties "Submitter") (assoc-ref properties "Owner") - (assoc-ref properties "Severity") + (or (assoc-ref properties "Severity") "normal") (let ((subject (assoc-ref properties "Subject"))) (if (string-contains subject "=?UTF-8?Q?") (or (false-if-exception |