From 77ee3a92a4012530cbd0b63c7b10b544eae50754 Mon Sep 17 00:00:00 2001 From: Thomas Miedema Date: Tue, 17 May 2016 19:33:01 +0200 Subject: Update .mailmap [skip ci] --- .mailmap | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to '.mailmap') diff --git a/.mailmap b/.mailmap index 81dec3d59c..cc3e031336 100644 --- a/.mailmap +++ b/.mailmap @@ -11,7 +11,8 @@ Alexander Lukyanov # Ticket #9360. Alexander Vershilov Alexey Rodriguez Alexey Rodriguez mrchebas@gmail.com -Andrew Farmer +Andrew Farmer +Andrew Farmer Andrew Pimlott andrew.pimlott.ctr@metnet.navy.mil Andrew Tolmach apt André Santos andre @@ -75,7 +76,8 @@ David Himmelstrup # http://www.haskell David M Peixotto dmp@rice.edu David Terei # Ticket #5785. David Terei -David Turner dnt # Same domain as Will Partain, who mentions "(from dnt)" +David C. Turner +David N. Turner dnt # Same domain as Will Partain, who mentions "(from dnt)" David Waern David Waern David Waern @@ -182,6 +184,7 @@ Nathan Huesken Neil Mitchell Neil Mitchell Neil Mitchell Nicholas Nethercote njn +Nikita Sazanovich Niklas Larsson # Commit 664063. Norman Ramsey nr@eecs.harvard.edu Orphi # Uses this name online. @@ -223,6 +226,7 @@ Simon Marlow Simon Marlow simonm Simon Marlow simonmar Simon Marlow simonmar@microsoft.com +Simon Marlow Simon Marlow uid245 # See Note [uid245] Simon Peyton Jones Simon Peyton Jones @@ -265,6 +269,7 @@ Yuri de Wit # Commit 37d64a. Yusuke Matsushita # https://github.com/Kinokkory Zejun Wu gwern gwern0@gmail.com # Uses this name online. +mniip # Uses this name online. shelarcy # Uses this name online. Ömer Sinan Ağacan # https://github.com/osa1 -- cgit v1.2.1