Merge branch '9-fix-bug-in-metrico-job-termination' into 'develop'
Resolve "Fix bug in METRICO job termination" See merge request !10
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.
Resolve "Fix bug in METRICO job termination" See merge request !10