From 2d111e7a7ca05d717f4380380c065c05fdfb9201 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Mon, 27 Jun 2016 12:29:43 -0700
Subject: Update .mailmap with email from
 3c36b589a01bce19063872544bca132f3daf947d

---
 .mailmap | 1 +
 1 file changed, 1 insertion(+)

(limited to '.mailmap')

diff --git a/.mailmap b/.mailmap
index d481efdef..9cc1664d1 100644
--- a/.mailmap
+++ b/.mailmap
@@ -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>
-- 
cgit v1.2.3