Skip to content
Snippets Groups Projects

Merge branch 'removeWIN32-run2' into 'run2-patches'

Passed
Marco Cattaneo created pipeline for commit 3d1be7db
, finished
2 jobs 21 seconds, queued for 0 seconds