Fix GitHub username

This commit is contained in:
Joshua Grosso 2018-08-15 11:29:16 -07:00 committed by GitHub
parent e87edce769
commit a6db3eeac2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,7 +8,7 @@ cabal-format-version: "2.2"
# Constraints for brand new builds
packages:
"Joshua Grosso <jgrosso256@gmail.com> @jgrosso256":
"Joshua Grosso <jgrosso256@gmail.com> @jgrosso":
- axel
"Varun Gandhi <theindigamer15@gmail.com> @theindigamer":