forked from agda/agda
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.mailmap
72 lines (68 loc) · 3.87 KB
/
.mailmap
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
# In the migration from Darcs to GitHub, we lost some information
# about the authors. The information from Git commands,
# e.g. git shortlog -nse, is better by using this file. The creation
# of this file was based on the .authorspellings Darcs file. If your
# entry is missing or wrong feel free to add or change it.
# ASR (17 June 2014). In the Darcs repository, Nils Anders Danielsson
# and Dominique Devriese had 1479 and 73 patches, respectively; but in
# the master branch of the GitHub repository, they only have 1471 and
# 72 commits, respectively. I couldn't fix it.
# Please keep this file in alphabetic order!
##############################################################################
Adam Gundry <[email protected]>
Alan Jeffrey <[email protected]> ajeffrey
Alexandre Buisse <[email protected]>
Andreas Abel <[email protected]> andreas.abel
Andreas Abel <[email protected]> abel <[email protected]>
Andrea Vezzosi <[email protected]>
Andrés Sicard-Ramírez <[email protected]> andres.sicard.ramirez
Andrés Sicard-Ramírez <[email protected]> andres.sicard.ramirez <[email protected]>
Andrés Sicard-Ramírez <[email protected]> andres.sicard <[email protected]>
Christian Sattler <[email protected]>
Daniel Gustafsson <[email protected]> daniel.gustafsson
Darin Morrison <[email protected]> dwm
Darin Morrison <[email protected]> darinmorrison <[email protected]>
Dominique Devriese <[email protected]> dominique.devriese <[email protected]>
Dominique Devriese <[email protected]> dominique.devriese
Fabien Renaud <[email protected]>
Fredrik Lindblad <[email protected]> frelindb <[email protected]>
Fredrik Lindblad <[email protected]> frelindb
Fredrik Nordvall Forsberg <[email protected]> <[email protected]>
Fredrik Nordvall Forsberg <[email protected]> csfnf <[email protected]>
Guillaume Brunerie <[email protected]>
Guillaume Allais <[email protected]> gallais
James Burton <[email protected]>
James Chapman <[email protected]> james
James Chapman <[email protected]> James Chapman <[email protected]>
Jean-Philippe Bernardy <[email protected]> jeanphilippe.bernardy
Jesper Cockx <[email protected]> jesper.cockx
Jesper Cockx <[email protected]> <[email protected]>
Karl Mehltretter <[email protected]>
Kuen-Bang Hou (Favonia) <[email protected]>
Lennart Augustsson <[email protected]>
Makoto Takeyama <[email protected]> makoto.takeyama
Marcin Benke <[email protected]> marcin.benke
Nils Anders Danielsson <[email protected]> <[email protected]>
Nils Anders Danielsson <[email protected]> <[email protected]>
Nils Anders Danielsson <[email protected]> nils.anders.danielsson <nils.anders.danielsson@86b02449-c53c-0410-81b4-87051234213d>
Noam Zeilberger <[email protected]>
Nobuo Yamashita <[email protected]> nobuo-yamashita
Olle Fredriksson <[email protected]> fredriksson.olle
Patrick Palka <[email protected]>
Patrik Jansson <[email protected]> patrikj
Péter Divianszki <[email protected]> divipp
Ryan Scott <[email protected]>
Samuel Gélineau <[email protected]>
Shin-Cheng Mu <[email protected]>
Stefan Monnier <[email protected]> monnier
Steven Keuchel <[email protected]>
Thomas Anberree <[email protected]>
Thorsten Altenkirch <[email protected]>
Ulf Norell <[email protected]> ulfn <[email protected]>
Ulf Norell <[email protected]> ulf.norell <[email protected]>
Ulf Norell <[email protected]> ulf.norell <ulf.norell@86b02449-c53c-0410-81b4-87051234213d>
Ulf Norell <[email protected]> ulfn
Wojciech Jedynak <[email protected]>