Replace (debbugs bug) with (mumi debbugs).
authorRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 14:09:04 +0000 (16:09 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 14:09:04 +0000 (16:09 +0200)
commit8e87df58751aff11ba0c54a083e491eea2e8b914
treea800ac4a7db73251bdf8f436d7a449fe1e2c0e66
parent103f1bcd81c2f0106201c8ce395877994614a370
Replace (debbugs bug) with (mumi debbugs).
mumi/messages.scm
mumi/web/controller.scm
mumi/web/view/html.scm