Skip to content

Commit

Permalink
Update .mailmap
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Jul 21, 2016
1 parent 2c9ff3c commit 3f5cde9
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .mailmap
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adam@c
Andres Erbsen <andreser@mit.edu> Andres Erbsen <andreser@mit.edu>
Andres Erbsen <andreser@mit.edu> Andres Erbsen <andres@krutt.org>
Jade Philipoom <jadep@mit.edu> Jade Philipoom <jadep@mit.edu>
Jade Philipoom <jadep@mit.edu> jadephilipoom <jade.philipoom@gmail.com>
Jade Philipoom <jadep@mit.edu> jadep <jade.philipoom@gmail.com>
Jade Philipoom <jadep@mit.edu> jadep <jadep@mit.edu>
Jason Gross <jgross@mit.edu> Jason Gross <jagro@google.com>
Expand Down

0 comments on commit 3f5cde9

Please sign in to comment.