GitLab service scheduled maintenance on Monday, August 18th 2025 as of 07h00 Geneva time for a period of 3 hours. Further information under OTG0157026.
approved this merge request
enabled an automatic merge when the pipeline for 61faa6d2 succeeds
mentioned in commit 3511783e
merged