Skip to content

Fix typos

username-removed-870098 requested to merge fix_typos into master

Just some minor (presumed) typo corrections. Wolfgang covered a bulk of the corrections with his merge already, so there are a few more commits than necessary.

Merge request reports