Closed RealCLanger closed 3 months ago
Some forgotten typos
fixes #1611
Hello @RealCLanger, this pull request fulfills all formal requirements.
Some forgotten typos
fixes #1611