html: Generate only short issue URLs.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 23 Apr 2020 05:45:45 +0000 (07:45 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 23 Apr 2020 05:45:45 +0000 (07:45 +0200)
commit888182e2d33b420ee3ae03f8c7b1a4f389ff57e9
treeae3e737171720c3e994a043d4b37d0f0323d15f6
parent6da9ed7d2571dd624aad44530a16afcff1e0e90f
html: Generate only short issue URLs.
mumi/web/view/html.scm