diff options
author | Jason Gross <jagro@google.com> | 2016-07-21 11:40:54 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-21 11:40:54 -0700 |
commit | 3f5cde96b69075c019a502d43a35c11021735b89 (patch) | |
tree | 12b6003eba264e9d13389c500c309e94b6155d2a | |
parent | 2c9ff3c36a3891b6b4f809b3a44fa1b7bed78803 (diff) |
Update .mailmap
-rw-r--r-- | .mailmap | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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> |