GitLab Maintenance

Next Monday, 2019-12-23, the GitLab (gitlab.cs.fau.de) will be down for maintenance work between 11:00 and 23:59

-- Felix Kraus