projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 651104d) | patch
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
tree733b5b5338430643494e25b09aef745edd1db5a5tree | snapshot
parent651104d7058ee5908a446379745c266a5e71d09ccommit | diff
bugs: update-bug-database!: Refresh all existing bugs.

This includes bugs that have been moved to other packages.
mumi/bugs.scm diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.