Skip to content
Snippets Groups Projects

Merge branch 'make' into 'master'

Passed
created pipeline for commit 898e2724
, finished
For master
5 jobs 14 minutes 35 seconds, queued for 2 seconds