debbugs: Ignore duplicate mails.