Merge branch 'develop' into 'main'
Merging "develop" to "main" branch See merge request !15
WARNING! GitLab maintenance operation scheduled for Tuesday, 11 August, from 09:00 to 15:00 (Paris time, CET/CEST). During this time window, GitLab will be completely unavailable. Thank you in advance for your understanding.
Merging "develop" to "main" branch See merge request !15