WIP: [DO NOT MERGE ME] Feature a/4275 revert 678
Simple test pour enquêter sur le mystère de #4275 (closed) : en revertant !678 (merged), a-t-on la même chose ?
GitLab upgrade completed. Current version is 17.8.2.
Simple test pour enquêter sur le mystère de #4275 (closed) : en revertant !678 (merged), a-t-on la même chose ?