GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.
This is needed in order to run tests for Rec!3748, since no adequate file exists.
@acarbone
