Skip to content
Snippets Groups Projects

Merge branch 'mnt/mkexec' into 'master'

Passed
Paul McCarthy created pipeline for commit ef1dc258
, finished
For 0.12.2
latest tag
5 jobs 33 seconds, queued for 1 seconds