GitLab will be upgraded on 14-April-2025 between 12:00 and 14:00. There may be small periods of service instability.
assigned to @alt36
approved this merge request
enabled an automatic merge when all merge checks for c3943b1e pass
merged
mentioned in commit 88232e65