Skip to content
Snippets Groups Projects

Merge branch 'master' into 'dev-nico'

Passed
Nico Vermaas created pipeline for commit 037086b9
, finished
1 related merge request: !43 Dev nico
2 jobs 2 minutes 7 seconds, queued for 1 seconds