From 01a90e79571e1f72f732cb903a50adf52cdc80fe Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Sat, 24 Aug 2019 04:45:15 -0400 Subject: Update mailmap --- .mailmap | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/.mailmap b/.mailmap index 3284ebc734..831f8d2392 100644 --- a/.mailmap +++ b/.mailmap @@ -14,8 +14,11 @@ Alex Biehl # Ticket #9360. Alexander Vershilov Alexander Vieth +Alexandre Baldé + Alexey Rodriguez Alexey Rodriguez mrchebas@gmail.com +Alp Mestanogullari Andreas Klebinger Andreas Klebinger Andrew Farmer @@ -35,6 +38,7 @@ Anthony Clayden Anton Nikishaev a # Ticket #1344. Arnaud Spiwack Arthur Fayzrakhmanov +Artem Pyanykh Artyom Kazak Audrey Tang audreyt@audreyt.org Austin Seipp @@ -88,6 +92,8 @@ Daniel Franke df@dfranke.us daniel@phasevelocity.org Darshan Kapashi David C. Turner +David Eichmann +David Eichmann David Feuer David Himmelstrup # http://www.haskellers.com/user/Lemmih David M Peixotto dmp@rice.edu @@ -98,7 +104,7 @@ David Waern David Waern David Waern David Waern davve@dtek.chalmers.se -Denis Mirzoev +Denis Mirzoev Dimitrios Vytiniotis Dimitrios Vytiniotis Dimitrios Vytiniotis dimitris@microsoft.com @@ -117,6 +123,7 @@ Edward Z. Yang Eric Seidel Erik de Castro Lopo Evan Hauck +Fangyi Zhou Fumiaki Kinoshita Gabor Greif Gabor Pali @@ -149,6 +156,7 @@ Isaac Potoczny-Jones ijones Isaac Potoczny-Jones ijones@syntaxpolice.org Ismail Suleman James Bowen +James Foster Jean-Philippe Bernardy jeanphilippe.bernardy@gmail.com Jean-Philippe Bernardy jpbernardy Jeff Lewis lewie @@ -168,6 +176,7 @@ Josef Svenningsson josefs Josh Filstrup Josh Price <2855417+WhistlePayer@users.noreply.github.com> Josh Price +Josh Price Jost Berthold Jost Berthold berthold@mathematik.uni-marburg.de Juan J. Quintela quintela @@ -185,6 +194,7 @@ Kevin G Donnelly kevind@bu.edu kglynn Krasimir Angelov kr.angelov@gmail.com Krasimir Angelov krasimir +Krzysztof Gogolewski Lennart Augustsson Lennart Augustsson lennart.augustsson@credit-suisse.com Lennart Augustsson lennart@augustsson.net @@ -225,6 +235,7 @@ Neil Mitchell Neil Mitchell njn Nikita Sazanovich Niklas Larsson # Commit 664063. +nineonine Ningning Xie Norman Ramsey nr@eecs.harvard.edu Orphi # Uses this name online. @@ -241,12 +252,14 @@ Peter Wortmann Peter Wortmann scpmw@leeds.ac.uk Piyush P. Kurur +Phuong Trinh Ralf Laemmel ralf # https://gitlab.haskell.org/ghc/ghc/wikis/team-ghc Ravi Nanavati # Commit 70c044. Reiner Pope Reuben Thomas rrt Richard Eisenberg Richard Eisenberg +Richard Eisenberg Rob Ennals rje # SPJ's student (rje33@cam.ac.uk) Roland Senn Roman Leshchinskiy rl@cse.unsw.edu.au @@ -267,7 +280,7 @@ Sergei Trofimovich Shae Matijs Erisson shae@ScannedInAvian.com Shane O'Brien Siddhanathan Shanmugam -Siddharth Bhat +Siddharth Bhat Sigbjorn Finne sof Sigbjorn Finne sof@galois.com Simon Hengel @@ -314,6 +327,7 @@ Tobias Gedell tgedell Tom Murphy Tom Schrijvers tom.schrijvers@cs.kuleuven.be Tom Sydney Kerckhove +Tom Sydney Kerckhove Umut Acar umuta # POPL 2002 paper Adaptive Functional Programming Varun Gandhi Veronika Romashkina @@ -327,10 +341,12 @@ Yorick Laupa # https://github.com Yuri de Wit # Commit 37d64a. Yusuke Matsushita # https://github.com/Kinokkory Zejun Wu +Zubin Duggal 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 +Ömer Sinan Ağacan # Note [geoffw] # From GHC wiki: "Geoff Washburn made the first implementation of GADTs in GHC" -- cgit v1.2.1