Merge pull request #3603 from turion/patch-1

Add dunai
This commit is contained in:
Dan Burton 2018-05-09 15:55:46 -07:00 committed by GitHub
commit f67d2ac394
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,6 +7,9 @@ cabal-format-version: "2.0"
# Constraints for brand new builds
packages:
"Manuel Bärenz <programming@manuelbaerenz.de> @turion":
- dunai
"Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
- geodetics