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 22.01.2026 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 January 22, from 2:30 p.m. to 3:30 p.m., git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
This addresses some small issues: