mailbox: keep a person per name and address, not per address

GitHub sends every notification from notifications@github.com, under the name of whoever acted. The mailbox kept one name per address, the first it saw, so once a mail about the user's own activity came, every GitHub notification named the user as its sender. Key the people by address and name together. A bare address no longer takes a name from another message, which only the notifier's sender and search read.


Author rockorager.dev
Date Commit Parent 702bcd0d
+39 -16
3 changed files
+39 -16
3 changed files