bugs: update-bug-database!: Do not use get-bugs.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 10:45:24 +0000 (12:45 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 10:45:24 +0000 (12:45 +0200)
commitdcc9090d121df770e9e1289064b2ef3ecb7a6463
tree6c2a9dc0f78ca673b2f341285b59d82e21e2aae4
parenta1aac14c45bc9bf3d57a32fbf267b8df68887a80
bugs: update-bug-database!: Do not use get-bugs.

* mumi/bugs.scm (update-bug-database!): Use extract-bug-numbers
instead of connecting to Debbugs.
mumi/bugs.scm