Skip to content
Snippets Groups Projects

Merge branch 'v22r2-release' into '2018-patches'

Passed
Marco Cattaneo created pipeline for commit ed675d74
, finished
For v22r2
latest
1 job 21 seconds, queued for 1 seconds