debbugs: Ignore duplicate mails.
[software/mumi.git] / etc /
2020-03-12  Ricardo Wurmusmumi: Add bugs.