diff options
| -rw-r--r-- | .mailmap | 71 |
1 files changed, 71 insertions, 0 deletions
diff --git a/.mailmap b/.mailmap new file mode 100644 index 0000000000..e3b2582fd3 --- /dev/null +++ b/.mailmap @@ -0,0 +1,71 @@ +# see 'man git-shortlog' for more details +# formats: Proper Name [<proper@email.xx> [Commit Name]] <commit@email.xx> +# +Andy Gill <andy@galois.com> andy@galois.com <unknown> +Andy Gill <andy@galois.com> andy@unsafeperformio.com <unknown> +Andy Gill <andygill@ku.edu> andy <unknown> +Andy Gill <andygill@ku.edu> andygill@ku.edu <unknown> +Audrey Tang <audreyt@audreyt.org> audreyt@audreyt.org <unknown> +Bas van Dijk <v.dijk.bas@gmail.com> basvandijk@home.nl <unknown> +Bas van Dijk <v.dijk.bas@gmail.com> v.dijk.bas@gmail.com <unknown> +Ben Gamari <bgamari.foss@gmail.com> <ben@panda.(none)> +Ben Lippmeier <benl@ouroborus.net> Ben.Lippmeier.anu.edu.au <unknown> +Ben Lippmeier <benl@ouroborus.net> Ben.Lippmeier@anu.edu.au <unknown> +Ben Lippmeier <benl@ouroborus.net> benl@cse.unsw.edu.au <unknown> +Ben Lippmeier <benl@ouroborus.net> benl@ouroborus.net <unknown> +Bernie Pope <bjpop@csse.unimelb.edu.au> bjpop@csse.unimelb.edu.au <unknown> +Daan Leijen <daan@microsoft.com> daan <unknown> +Dimitrios Vytiniotis <dimitris@microsoft.com> <dimitris@MSRC-1361792.europe.corp.microsoft.com> +Dimitrios Vytiniotis <dimitris@microsoft.com> <dimitris@microsoft.com> +Dimitrios Vytiniotis <dimitris@microsoft.com> dimitris@microsoft.com <unknown> +Don Stewart <dons@galois.com> <dons@cse.unsw.edu.au> +Don Stewart <dons@galois.com> dons <unknown> +Don Stewart <dons@galois.com> dons@cse.unsw.edu.au <unknown> +Don Syme <dsyme@microsoft.com> dsyme <unknown> +Duncan Coutts <duncan@well-typed.com> <duncan.coutts@worc.ox.ac.uk> +Duncan Coutts <duncan@well-typed.com> <duncan@haskell.org> +Gabriele Keller <keller@cse.unsw.edu.au> keller <unknown> +Gabriele Keller <keller@cse.unsw.edu.au> keller@.cse.unsw.edu.au <unknown> +Gabriele Keller <keller@cse.unsw.edu.au> keller@cse.unsw.edu.au <unknown> +Hans-Wolfgang Loidl <hwloidl@macs.hw.ac.uk> hwloidl <unknown> +Ian Lynagh <igloo@earth.li> igloo <unknown> +John Dias <dias@cs.tufts.edu> dias@cs.tufts.edu <unknown> +John Dias <dias@cs.tufts.edu> dias@eecs.harvard.edu <unknown> +John Dias <dias@cs.tufts.edu> dias@eecs.tufts.edu <unknown> +Jose Pedro Magalhaes <jpm@cs.uu.nl> <jpm@cs.uu.nl> +Judah Jacobson <judah.jacobson@gmail.com> judah.jacobson@gmail.com <unknown> +Julian Seward <jseward@acm.org> sewardj <unknown> +Lennart Augustsson <lennart@augustsson.net> lennart.augustsson@credit-suisse.com <unknown> +Lennart Augustsson <lennart@augustsson.net> lennart@augustsson.net <unknown> +Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk> malcolm <unknown> +Manuel M T Chakravarty <chak@cse.unsw.edu.au> chak <unknown> +Marcin 'Qrczak' Kowalczyk <qrczak@knm.org.pl> qrczak <unknown> +Neil Mitchell <ndmitchell@gmail.com> <http://www.cs.york.ac.uk/~ndm/> +Neil Mitchell <ndmitchell@gmail.com> Neil Mitchell <unknown> +Norman Ramsey <nr@eecs.harvard.edu> nr@eecs.harvard.edu <unknown> +Pepe Iborra <mnislaih@gmail.com> pepe <unknown> +Reuben Thomas <rrt@sc3d.org> rrt <unknown> +Roman Leshchinskiy <rl@cse.unsw.edu.au> rl@cse.unsw.edu.au <unknown> +Ross Paterson <ross@soi.city.ac.uk> ross <unknown> +Sigbjorn Finne <sof@galois.com> sof <unknown> +Sigbjorn Finne <sof@galois.com> sof@galois.com <unknown> +Simon Marlow <marlowsd@gmail.com> <simonmar-work@simonmar-laptop.(none)> +Simon Marlow <marlowsd@gmail.com> <simonmar@microsoft.com> +Simon Marlow <marlowsd@gmail.com> <simonmarhaskell@gmail.com> +Simon Marlow <marlowsd@gmail.com> simonm <unknown> +Simon Marlow <marlowsd@gmail.com> simonmar <unknown> +Simon Marlow <marlowsd@gmail.com> simonmar@microsoft.com <unknown> +Simon Peyton Jones <simonpj@microsoft.com> <simonpj@.europe.corp.microsoft.com> +Simon Peyton Jones <simonpj@microsoft.com> <simonpj@MSRC-4971295.europe.corp.microsoft.com> +Simon Peyton Jones <simonpj@microsoft.com> <simonpj@cam-04-unx.europe.corp.microsoft.com> +Simon Peyton Jones <simonpj@microsoft.com> <simonpj@microsoft.com> +Simon Peyton Jones <simonpj@microsoft.com> <simonpj@static.144-76-175-55.clients.your-server.de> +Simon Peyton Jones <simonpj@microsoft.com> simonpj <unknown> +Simon Peyton Jones <simonpj@microsoft.com> simonpj@microsoft.com <unknown> +Sven Panne <sven.panne@aedion.de> panne <unknown> +Sven Panne <sven.panne@aedion.de> sven.panne@aedion.de <unknown> +Tim Harris <tharris@microsoft.com> tharris <unknown> +Tim Harris <tharris@microsoft.com> tharris@microsoft.com <unknown> +Will Partain <partain@dcs.gla.ac.uk> partain <unknown> +Wolfgang Thaller <wolfgang.thaller@gmx.net> wolfgang <unknown> +Wolfgang Thaller <wolfgang.thaller@gmx.net> wolfgang.thaller@gmx.net <unknown> |