messages: Remove bug-id->mbox-file.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:43:47 +0000 (10:43 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:43:47 +0000 (10:43 +0200)
commit936c56b877473dd6638897887aed3b0092d4ffa5
tree8d95168bc79b81a23053cd11203c7136f77fc072
parent309b03b8177672b5f3718914c2200ec0fffc2f6c
messages: Remove bug-id->mbox-file.
mumi/messages.scm