closes #101 (closed), closes #130 (closed), closes #137 (closed), closes #144 (closed), closes #147 (closed)
Edited by Jan Delember
Aufgrund einer Wartung am 08.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 8, from 2:30 p.m. to 3:30 p.m., git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
closes #101 (closed), closes #130 (closed), closes #137 (closed), closes #144 (closed), closes #147 (closed)