bugs: update-bug-database!: Refresh all existing bugs.
authorRicardo Wurmus <rekado@elephly.net>
Mon, 30 Mar 2020 17:20:07 +0000 (19:20 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Mon, 30 Mar 2020 17:20:07 +0000 (19:20 +0200)
commit84a74943effd070d81bcb8551583baa572786bc4
tree733b5b5338430643494e25b09aef745edd1db5a5
parent651104d7058ee5908a446379745c266a5e71d09c
bugs: update-bug-database!: Refresh all existing bugs.

This includes bugs that have been moved to other packages.
mumi/bugs.scm