mumi: Move bug-id->log-file to (mumi debbugs).
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:59:27 +0000 (10:59 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:59:27 +0000 (10:59 +0200)
commitcff8dde9a5ed82f1a3084ca7b3f1e22c4701a438
tree53e4a690f3b25c39b4ab3e6e65d5868e0d606526
parenta5e068e3fb906d1e09e8581cc7d5016f78e4572c
mumi: Move bug-id->log-file to (mumi debbugs).
mumi/debbugs.scm
mumi/messages.scm