scripts: Index mails before initialization.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 12 Mar 2020 11:40:22 +0000 (12:40 +0100)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 12 Mar 2020 11:40:22 +0000 (12:40 +0100)
commit419c83fddbcb7f2f8308b729acaa048141769812
treeaa5fb25f89e5be05599ac1bd0c53e27c12db1203
parentf3fa1981daf5992342316a5680ae8657eab02c2b
scripts: Index mails before initialization.
scripts/mumi.in