bugs: update-bug-database!: Accept optional bug-nums argument.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 09:51:31 +0000 (11:51 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 09:51:31 +0000 (11:51 +0200)
commit0b48a9147cac8e8d885f909aeec60aee753c0198
treea75cda0a633e1dbc81becaa431165dd00026629c
parent88a6f6362ce6e3ca41cf5f65e4285c9a45f3f192
bugs: update-bug-database!: Accept optional bug-nums argument.
mumi/bugs.scm