html: Replace "patch" with "issue".
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000 (18:12 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000 (18:12 +0200)
commite4b0a7d7585fd40f1a7bd0d3f5a503d6a1b410a4
treea1219f81d9e5ac907b018a32fa5d1a26d72312f3
parent27976361220917d05144fa95a07a522f3700327d
html: Replace "patch" with "issue".
mumi/web/view/html.scm