Due to maintenance at 17.06.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable. In maintenance, GitLab is updated to version 18. Information about changes can be found at: https://about.gitlab.com/blog/2025/04/18/a-guide-to-the-breaking-changes-in-gitlab-18-0/#breaking-changes
Merge request pipeline #529475 passed
Merge request pipeline passed for 5f9d760d 4 months ago
Pipeline #529476 passed
Pipeline passed for 5f9d760d on main 4 months ago
requested review from @julian.dreuth
assigned to @leon-niklas.lux
approved this merge request
merged
