Fix whitespace

Co-authored-by: John Ericson <git@JohnEricson.me>
This commit is contained in:
Eelco Dolstra 2023-11-01 20:19:08 +01:00 committed by GitHub
parent 2f5c1a27dc
commit e47984ce0b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23