debbugs: Default to "normal" severity.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 15:12:41 +0000 (17:12 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 15:12:41 +0000 (17:12 +0200)
commita2959158ecdbbb45c60b60e7f47a2b37d7505d7f
tree5903dea73958fe3710e454aac4bf92dc297d9ea2
parent4811afc03e8c35ab20a47aefbf1bab839e5cd092
debbugs: Default to "normal" severity.
mumi/debbugs.scm