Added GitHub handle.

This commit is contained in:
Paul Johnson 2018-04-16 12:13:13 +00:00 committed by GitHub
parent 55682ee525
commit dff0e6271c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,7 +7,7 @@ cabal-format-version: "2.0"
# Constraints for brand new builds
packages:
"Paul Johnson <paul@cogito.org.uk>":
"Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
- geodetics
"Travis Athougies <travis@athougies.net> @tathougies":