diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-07 11:47:01 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-07 11:47:01 +0200 |
commit | 88a6f6362ce6e3ca41cf5f65e4285c9a45f3f192 (patch) | |
tree | 1c057d9df5bc32dd95009d9e08fffbc2a1b08eb7 /scripts | |
parent | 1fee105324ff9a1bd776c1244a280f4ab6ae2161 (diff) |
scripts: fetch-messages!: Fetch new bugs first.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/mumi.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/mumi.in b/scripts/mumi.in index 9f8fcf8..481c27e 100644 --- a/scripts/mumi.in +++ b/scripts/mumi.in @@ -76,7 +76,7 @@ (parameterize ((current-error-port (%make-void-port OPEN_WRITE))) (par-for-each (cut download-message bug-num <>) msg-nums)))) - bug-nums + (reverse bug-nums) (iota (length bug-nums) 1)))) (define update-state! |