From 3f5cde96b69075c019a502d43a35c11021735b89 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 21 Jul 2016 11:40:54 -0700 Subject: Update .mailmap --- .mailmap | 1 + 1 file changed, 1 insertion(+) diff --git a/.mailmap b/.mailmap index 9cc1664d1..75f129145 100644 --- a/.mailmap +++ b/.mailmap @@ -7,6 +7,7 @@ Adam Chlipala Adam Chlipala Andres Erbsen Andres Erbsen Andres Erbsen Jade Philipoom Jade Philipoom +Jade Philipoom jadephilipoom Jade Philipoom jadep Jade Philipoom jadep Jason Gross Jason Gross -- cgit v1.2.3