change github user and mail

This commit is contained in:
clojj 2018-11-21 09:16:02 +01:00 committed by GitHub
parent 0c6b226a5d
commit e27bf59255
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,7 +7,7 @@ cabal-format-version: "2.2"
# Constraints for brand new builds # Constraints for brand new builds
packages: packages:
"Iavor S. Diatchki <iavor.diatchki@gmail.com> @yav": "Joerg Winter <jwin1968@gmail.com> @clojj":
- rosezipper - rosezipper
"Antonio Alonso Dominguez <alonso.domin@gmail.com> @alonsodomin": "Antonio Alonso Dominguez <alonso.domin@gmail.com> @alonsodomin":