Skip to content

GitLab

Commit 33ebb9bb authored by Dorchies David's avatar Dorchies David
Browse files

Merge branch 'master' into 'devel' 

Integrate last changes for release version into devel branch

See merge request !135
parents ea3d5157 b99c47a5
Pipeline #36084 passed with stages
in 18 minutes and 7 seconds