Fix a whitespace issue

Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
This commit is contained in:
Théophane Hufschmitt 2021-02-04 14:47:56 +01:00 committed by GitHub
parent ca8facefb6
commit 43d409f669
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23