scripts: fetch-messages!: Fetch new bugs first.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 09:47:01 +0000 (11:47 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 09:47:01 +0000 (11:47 +0200)
commit88a6f6362ce6e3ca41cf5f65e4285c9a45f3f192
tree1c057d9df5bc32dd95009d9e08fffbc2a1b08eb7
parent1fee105324ff9a1bd776c1244a280f4ab6ae2161
scripts: fetch-messages!: Fetch new bugs first.
scripts/mumi.in