Skip to content
Snippets Groups Projects

Merge branch 'devel' into 'master'

Failed
Grzegorz Rola created pipeline for commit 3a8da7d7
, finished
For 2.4.12
latest
8 jobs 6 seconds, queued for 1 seconds