Merge pull request #5106 from phadej/phadej-is-no-more

Remove phadej mentions from build-constraints
This commit is contained in:
Jens Petersen 2020-01-28 18:52:17 +08:00 committed by GitHub
commit f7fc41c3a7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5752,9 +5752,6 @@ github-users:
- RyanGlScott
haskell-compat:
- RyanGlScott
haskell-servant:
- phadej
- jkarni
vivid:
- vivid-synth
midair:
@ -5768,14 +5765,11 @@ github-users:
arithmoi:
- Bodigrim
- cartazio
- phadej
IxpertaSolutions:
- Siprj
- liskin
- trskop
- xkollar
futurice:
- phadej
ekmett:
- RyanGlScott
onrock-eng: