[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 17.11.1. We now benefit from the features of the release 17.11.
This merge request updates fleckenstein-[4,9,10] disk's layout, since they were dead when the disks have been swapped.