debbugs: Cache result of extract-bug-numbers.
[software/mumi.git] / bootstrap.sh
2017-10-30  Ricardo WurmusInitial commit.