Fixed typo for David Burkett's name

Co-authored-by: Alexey Zabelin <hello@alexeyzabelin.com>
This commit is contained in:
Disco Dave 2021-12-29 20:56:24 -05:00 committed by GitHub
parent 685c42667c
commit 9b4c79231f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,7 +10,7 @@ cabal-format-version: "3.0"
# Constraints for brand new builds
packages:
"David Burkett <david@davidburkett.xyz> @Disco-Dave>:
"David Burkett <david@davidburkett.xyz> @Disco-Dave":
- katip-wai
"Lukas Epple <sternenseemann@systemli.org> @sternenseemann":