Merge pull request #6971 from ThomasWaldmann/formatting-fixes

fix spacing (found by coala)
This commit is contained in:
TW 2022-08-13 23:56:21 +02:00 committed by GitHub
commit 34a67d2872
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions