Filter missing messages and return defaults on missing headers.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 13:14:48 +0000 (15:14 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 13:14:48 +0000 (15:14 +0200)
commit5cb42e9fce80547c7abb77864626fec6d40ed4dd
tree1109036136eae616e8c55d4c0d5724b702304352
parent9f66dbc6231e2a884f76fa9913a0461887476116
Filter missing messages and return defaults on missing headers.
mumi/messages.scm
mumi/web/view/html.scm