Mentions légales du service
This merge request updates fleckenstein-[4,9,10] disk's layout, since they were dead when the disks have been swapped.
Pipeline #1014614 passed
Pipeline passed for 925e1c71 on fleckenstein_update 11 months ago
Pipeline #1014625 passed
Pipeline passed for ed1d8777 on master 11 months ago
assigned to @pijacquo
merged
mentioned in commit ed1d8777