diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2022-07-06 20:21:20 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2022-07-06 20:21:20 +0200 |
commit | 30731be864c7c73b0225bd57a7dd2413b7738a9e (patch) | |
tree | fd63a91adbbecc84bd11232b74bfc092a75f5038 | |
parent | 88a68ba952aeb81633eb07903a30d04005c6355c (diff) |
mumi: process-query: Do not mangle msgid term.
-rw-r--r-- | mumi/messages.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mumi/messages.scm b/mumi/messages.scm index 4a63673..fb305bb 100644 --- a/mumi/messages.scm +++ b/mumi/messages.scm @@ -311,6 +311,9 @@ sets that need to overlap the result set." (cons "status:done" terms)) (("is" (or "open" "pending")) (cons "status:open" terms)) + ;; Do not mangle message ids + (("msgid" msgid) + (cons (format #false "msgid:~a" msgid) terms)) (((and (or "date" "subject" "tag" "author" "owner" "submitter" "severity") |