Don't use bug-originator with mu-header-decode.
authorRicardo Wurmus <rekado@elephly.net>
Sat, 1 Sep 2018 19:41:04 +0000 (21:41 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sat, 1 Sep 2018 19:41:04 +0000 (21:41 +0200)
commitb68fc991db17391b867507fa83966230fd0c0fea
tree920702df09e545180b3de8721858663c12fb0baf
parente5ddc89b091215293cdfe5afa84d7f2c5c601ce5
Don't use bug-originator with mu-header-decode.
mumi/web/view/html.scm