Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
Closes #80 (closed) #65 (closed) #86 (closed) #85 (closed) #95 (closed) #105 (closed) #94 (closed) #77 (closed)