Update a GitHub username after renaming

This commit is contained in:
Daniel Taskoff 2020-01-20 14:30:23 +02:00 committed by GitHub
parent b0be4c3e03
commit f7af1a8d5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -93,7 +93,7 @@ packages:
[]
# - hal # https://github.com/commercialhaskell/stackage/issues/4288
"Daniel Taskoff <daniel.taskoff@gmail.com> @leohaskell":
"Daniel Taskoff <daniel.taskoff@gmail.com> @dtaskoff":
- skip-var
"Dzianis Kabanau <kobargh@gmail.com> @kobargh":