mumi: Rename patch-messages to issue-messages.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 17:04:49 +0000 (19:04 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 17:04:49 +0000 (19:04 +0200)
commitd21d35fbe1bdbbdde8c3e44411f94c4e9c3685a6
treeb97c66988495d7b07c44dd238e5e08f1bb35f0c2
parentb463dfb407988f1c24ffefdcb5b5517ee9d6e297
mumi: Rename patch-messages to issue-messages.
mumi/messages.scm
mumi/web/view/html.scm