From 4c84380aa7cdaff10ad05f57e9876c27835fa830 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 3 Apr 2018 16:29:46 -0400 Subject: Update .mailmap --- .mailmap | 2 ++ 1 file changed, 2 insertions(+) (limited to '.mailmap') diff --git a/.mailmap b/.mailmap index 8f4174043..01dfc811f 100644 --- a/.mailmap +++ b/.mailmap @@ -6,10 +6,12 @@ Adam Chlipala Adam Chlipala Adam Chlipala Andres Erbsen Andres Erbsen Andres Erbsen Andres Erbsen +Andres Erbsen Andres Erbsen Jade Philipoom Jade Philipoom Jade Philipoom jadephilipoom Jade Philipoom jadep Jade Philipoom jadep +Jade Philipoom Jade Philipoom Jason Gross Jason Gross Jason Gross Jason Gross Jason Gross Jason Gross -- cgit v1.2.3