Skip to content
Snippets Groups Projects

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

Passed
Dominique Marcadet created pipeline for commit 14704b79
, finished
For 58-add-some-information-in-readme-before-mirroring-on-github
32 seconds, queued for 37 seconds