diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-12 13:22:20 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-12 13:41:04 +0200 |
commit | 2d3eb16c36085efc6e70cc8cf8f2c59e070e0604 (patch) | |
tree | 623adc1c0705e31ec91269dcf22ffb00513f32a6 | |
parent | 7e6f8f13eb19fb82c75570508c0a576cf6d6116e (diff) |
messages: closing?: Be more careful.
-rw-r--r-- | mumi/messages.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mumi/messages.scm b/mumi/messages.scm index 52d8a22..de2a30b 100644 --- a/mumi/messages.scm +++ b/mumi/messages.scm @@ -108,7 +108,8 @@ yet. Return new results alongside cached results." "Is this MESSAGE closing this bug ID?" (let ((done (string-append (number->string id) "-done"))) - (string= (header message 'x-debbugs-envelope-to) done))) + (and=> (header message 'x-debbugs-envelope-to) + (cut string= <> done)))) (define-public (bot? address) (string= "help-debbugs@gnu.org" address)) |