Admin message

Aufgrund einer Wartung am 23.04.2026 von 14:00 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 23.04.2026 from 14:00 to 15:30, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.

v0.4
Jonas Hauck's avatar
Jonas Hauck
@jonas.hauck
de5980e9 · Merge branch 'dev' of git.rwth-aachen.de:frg/diverge into dev · Oct 20, 2023
100% of the found bugs are fixed