debbugs: Ignore duplicate mails.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 23 Apr 2020 05:44:20 +0000 (07:44 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 23 Apr 2020 05:44:20 +0000 (07:44 +0200)
commit6da9ed7d2571dd624aad44530a16afcff1e0e90f
tree818f48a06c30e82181789816ecd3a4b506bb1ee7
parent29aed0bf2390bde42e5fe183403c77dfc95cfb63
debbugs: Ignore duplicate mails.

Debbugs records mails that are received via different addresses more
than once, so we only add them if the message id is new.
mumi/debbugs.scm