Pipelines · Merge branch 'develop' into 'master' (fc3e45c3) · Commits · R3 / school / courses

Commit fc3e45c3 authored Jun 30, 2020 by

Laurent Heirendt

Regular merge of develop

See merge request !79

Pipeline #29167 failed with stage in 3 minutes and 17 seconds