mariadb-10.0.12
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.