-
-
Notifications
You must be signed in to change notification settings - Fork 15.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch master into haskell-updates
- Loading branch information
Showing
169 changed files
with
6,283 additions
and
2,246 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -662,6 +662,13 @@ | |
githubId = 4296804; | ||
name = "Alex Franchuk"; | ||
}; | ||
aftix = { | ||
name = "Wyatt Campbell"; | ||
email = "[email protected]"; | ||
matrix = "@aftix:matrix.org"; | ||
github = "aftix"; | ||
githubId = 4008299; | ||
}; | ||
agbrooks = { | ||
email = "[email protected]"; | ||
github = "agbrooks"; | ||
|
@@ -1708,6 +1715,12 @@ | |
githubId = 718812; | ||
name = "Antoine R. Dumont"; | ||
}; | ||
areif-dev = { | ||
email = "[email protected]"; | ||
github = "areif-dev"; | ||
githubId = 53097078; | ||
name = "AJ Reifsnyder"; | ||
}; | ||
arezvov = { | ||
email = "[email protected]"; | ||
github = "arezvov"; | ||
|
@@ -8224,7 +8237,8 @@ | |
email = "[email protected]"; | ||
github = "Guanran928"; | ||
githubId = 68757440; | ||
name = "Guanran928"; | ||
name = "Guanran Wang"; | ||
keys = [ { fingerprint = "7835 BC13 4560 0660 0448 5A2C 91F9 7D9E D126 39CF"; } ]; | ||
}; | ||
guekka = { | ||
github = "Guekka"; | ||
|
@@ -13715,6 +13729,12 @@ | |
githubId = 1215331; | ||
name = "Matt Melling"; | ||
}; | ||
melon = { | ||
email = "[email protected]"; | ||
github = "BlaiZephyr"; | ||
githubId = 101197249; | ||
name = "Tim"; | ||
}; | ||
melsigl = { | ||
email = "[email protected]"; | ||
github = "melsigl"; | ||
|
@@ -14537,6 +14557,12 @@ | |
name = "Arthur Outhenin-Chalandre"; | ||
githubId = 3845213; | ||
}; | ||
mrgiles = { | ||
email = "[email protected]"; | ||
github = "mrgiles"; | ||
githubId = 4009450; | ||
name = "Marcelo Giles"; | ||
}; | ||
mrityunjaygr8 = { | ||
email = "[email protected]"; | ||
github = "mrityunjaygr8"; | ||
|
@@ -15898,6 +15924,12 @@ | |
githubId = 72201; | ||
name = "Ole Jørgen Brønner"; | ||
}; | ||
olifloof = { | ||
email = "[email protected]"; | ||
github = "olifloof"; | ||
githubId = 35699052; | ||
name = "oli"; | ||
}; | ||
oliver-koss = { | ||
email = "[email protected]"; | ||
github = "oliver-koss"; | ||
|
@@ -16600,6 +16632,13 @@ | |
githubId = 28323; | ||
name = "Peter Simons"; | ||
}; | ||
petrkozorezov = { | ||
email = "[email protected]"; | ||
github = "petrkozorezov"; | ||
githubId = 645017; | ||
name = "Petr Kozorezov"; | ||
keys = [ { fingerprint = "7F1A 353D 3D6D 9CEF 63A9 B5C6 699F 32D5 9999 7C90"; } ]; | ||
}; | ||
petrosagg = { | ||
email = "[email protected]"; | ||
github = "petrosagg"; | ||
|
@@ -16828,12 +16867,6 @@ | |
name = "Jelle Besseling"; | ||
keys = [ { fingerprint = "A3A3 65AE 16ED A7A0 C29C 88F1 9712 452E 8BE3 372E"; } ]; | ||
}; | ||
pinkcreeper100 = { | ||
email = "[email protected]"; | ||
github = "pinkcreeper100"; | ||
githubId = 35699052; | ||
name = "Oliver Samuel Morris"; | ||
}; | ||
pinpox = { | ||
email = "[email protected]"; | ||
github = "pinpox"; | ||
|
@@ -20064,6 +20097,12 @@ | |
githubId = 7091399; | ||
keys = [ { fingerprint = "897E 6BE3 0345 B43D CADD 05B7 290F CF08 1AED B3EC"; } ]; | ||
}; | ||
smonson = { | ||
name = "Samuel Monson"; | ||
email = "[email protected]"; | ||
github = "sjmonson"; | ||
githubId = 17662218; | ||
}; | ||
smrehman = { | ||
name = "Syed Moiz Ur Rehman"; | ||
email = "[email protected]"; | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.