minor .mailmap update

master
Gabriel Scherer 2016-11-06 09:38:56 -05:00
parent 826780ceba
commit ce37b75bcd
1 changed files with 4 additions and 2 deletions

View File

@ -32,8 +32,8 @@ Jérémie Dimino <jdimino@janestreet.com>
#
# Preferred Name <email> nickname <contribution-email>
# or
# Preferred Name <nickname@mantis.com>
# Preferred Name <nickname>@github.com
# Preferred Name <nickname@mantis>
# Preferred Name <nickname@github>
# to indicate a preference associated to a Mantis account.
Florian Angeletti <octa@polychoron.fr> octachron <octa@polychoron.fr>
@ -68,6 +68,8 @@ Reed Wilson <omion>
David Scott <djs55>
Martin Neuhäußer <sawfish@mantis>
Goswin von Brederlow <mrvn>
Thomas Leonard <talex@mantis>
Thomas Leonard <talex5@github>
# These contributors prefer to be referred to pseudonymously
<whitequark@mantis> <whitequark@mantis>