diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-11 22:03:45 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-11 22:03:45 +0100 |
commit | 10a4ed5779be2d9fdfc41b312c48a995e29b81be (patch) | |
tree | 4f55054929adb85f8ce1c65832ca839aec1b511e /assets/img/spin.gif | |
parent | 6141adc9ca73beba0ffd964d5f862fa4918a5e3e (diff) |
messages: Speed up recent-bugs by using mumimu.
* mumi/messages.scm (recent-bugs): Don't use the Debbugs search-est
action; collect messages from the mumimu database instead.
Diffstat (limited to 'assets/img/spin.gif')
0 files changed, 0 insertions, 0 deletions