From b74857e6cc90fffe2a07e6bcf414ac4774a145cb Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 18 Jun 2016 19:15:52 -0400 Subject: Fix .mailmap (correct name on the left) --- .mailmap | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to '.mailmap') diff --git a/.mailmap b/.mailmap index 7c61488f3..fb52e6ce0 100644 --- a/.mailmap +++ b/.mailmap @@ -3,16 +3,16 @@ # having the same name name on a line will fix capitalization Adam Chlipala Adam Chlipala -Adam Chlipala Adam Chlipala +Adam Chlipala Adam Chlipala Andres Erbsen Andres Erbsen Jade Philipoom Jade Philipoom -jadep Jade Philipoom -jadep Jade Philipoom +Jade Philipoom jadep +Jade Philipoom jadep Jason Gross Jason Gross +Robert Sloan Robert Sloan +Robert Sloan Robert Sloan +Robert Sloan Robert Sloan Robert Sloan Robert Sloan -Robert Sloan Robert Sloan -Robert Sloan Robert Sloan -Robert Sloan Robert Sloan -Robert Sloan Robert Sloan -Rob Sloan Robert Sloan -varomodt Robert Sloan +Robert Sloan Robert Sloan +Robert Sloan Rob Sloan +Robert Sloan varomodt -- cgit v1.2.3