view/html: issue-page: Filter empty messages for all users.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 13 May 2020 10:09:28 +0000 (12:09 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 13 May 2020 10:09:28 +0000 (12:09 +0200)
commit7e26ec383c2b161378f4113d99540ba2bb3d35be
tree3c1fa9ac85ddc0cfb1fdb5694160e19d2e2afe3f
parentcd9878f83c9c99410323748d66b8093eea3e9978
view/html: issue-page: Filter empty messages for all users.
mumi/web/view/html.scm