Skip to content
Snippets Groups Projects

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

Passed
Dominique Marcadet created pipeline for commit 8fd5a3ec
, finished
For 30-add-some-information-in-readme-before-mirroring-on-github
2 jobs 26 seconds, queued for 62 seconds