Skip to content
Snippets Groups Projects

Merge branch '20-add-some-information-in-readme-before-mirroring-on-github' into 'master'

Passed
Dominique Marcadet created pipeline for commit 27f0868d
, finished
For 21-update-to-epl-2-0
3 jobs 36 seconds, queued for 14 seconds