Release: Sprint/2022 13 

Merge request reports
Activity
Please register or sign in to reply
Aufgrund eines Hardware-Upgrades wird git.rwth-aachen.de am 08.07.2025 zwischen 08:30 bis 09:00 Uhr kurz nicht zur Verfügung stehen.
--
Due to a hardware upgrade git.rwth-aachen.de will shorty be unavailable on 08.07.2025 between 08:30 and 09:00 o'clock.
approved this merge request
enabled an automatic merge when the pipeline for 01113c2b succeeds
merged
mentioned in commit 5ed0462d