diff options
| -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> |