diff options
author | Jason Gross <jagro@google.com> | 2016-06-27 12:29:43 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-06-27 12:29:43 -0700 |
commit | 2d111e7a7ca05d717f4380380c065c05fdfb9201 (patch) | |
tree | 44c947399b0f60cff1fb6f98c780ba80bff548b0 /.mailmap | |
parent | 1be3f48f54b93b6113266aed148d63d25535938f (diff) |
Update .mailmap with email from 3c36b589a01bce19063872544bca132f3daf947d
Diffstat (limited to '.mailmap')
-rw-r--r-- | .mailmap | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adam@chlipala.net> 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> jadep <jade.philipoom@gmail.com> Jade Philipoom <jadep@mit.edu> jadep <jadep@mit.edu> |