diff --git a/.mailmap b/.mailmap index 81dec3d59c282096fe4d58c65676e070e0643d84..cc3e031336779b07f9ad1e0961bcc0ef50fd7f34 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