diff options
| -rw-r--r-- | .mailmap | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -6,10 +6,12 @@ Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adamc@ 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> +Andres Erbsen <andreser@mit.edu> Andres Erbsen <andreser@google.com> 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> +Jade Philipoom <jadep@mit.edu> Jade Philipoom <jadep@google.com> Jason Gross <jgross@mit.edu> Jason Gross <jagro@google.com> Jason Gross <jgross@mit.edu> Jason Gross <jasongross9@gmail.com> Jason Gross <jgross@mit.edu> Jason Gross <jgross@mit.edu> |