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

Commit 33f3eab0 authored Jul 27, 2021 by

Laurent Heirendt

[release] Regular merge of develop

See merge request !107

Pipeline #44486 passed with stages in 5 minutes and 5 seconds