The source project of this merge request has been removed.
Cleanup
This addresses some small issues:
- Some small occurrences of the Replacement Character �
- Inconsistent use of spaces after commas
- Trailing blank characters
Aufgrund einer Wartung am 12.02.2025 von 14:30 bis 15:30 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at 12.02.2025 from 14:30 to 15:30, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
This addresses some small issues: