Skip to content
Snippets Groups Projects

Merge branch '15-update-to-move-to-new-gitlab-server-and-new-repository-name' into 'master'

Passed
Dominique Marcadet created pipeline for commit 6ef23b52
, finished
For 16-add-some-information-in-readme-before-mirroring-on-github
2 jobs 26 seconds, queued for 1 seconds