The source project of this merge request has been removed.
GitLab service scheduled maintenance on Monday, August 18th 2025 as of 07h00 Geneva time for a period of 3 hours. Further information under OTG0157026.
merged
mentioned in commit fe2b3ca1