Skip to content
GitLab

Merge branch 'devel' into 'devel' 

16.04 → 20.04 + fix CI

See merge request !9
6 jobs for devel in 16 minutes and 54 seconds (queued for 5 seconds)
f84dcef0
No related merge requests found.