Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes the error `invalid character U+0023 '#'` as spotted by @monde This issue was introduced in #712 and sadly not caught by a linter in the CI.
- Loading branch information