[strasbourg][fleckenstein] Update fleckenstein-[4,9,10] disks
This merge request updates fleckenstein-[4,9,10] disk's layout, since they were dead when the disks have been swapped.
GitLab upgrade completed. Current version is 18.7.4
https://about.gitlab.com/releases/2025/12/18/gitlab-18-7-released/
This merge request updates fleckenstein-[4,9,10] disk's layout, since they were dead when the disks have been swapped.