Merge pull request #6378 from Disco-Dave/patch-1

This commit is contained in:
Alexey Zabelin 2021-12-30 13:22:50 -06:00 committed by GitHub
commit 6dec2b2525
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,6 +10,9 @@ cabal-format-version: "3.0"
# Constraints for brand new builds
packages:
"David Burkett <david@davidburkett.xyz> @Disco-Dave":
- katip-wai
"Lukas Epple <sternenseemann@systemli.org> @sternenseemann":
- socket
- spacecookie