Skip to content
Snippets Groups Projects

Merge branch 'dev' into 'master'

Passed
Jiří Helebrant created pipeline for commit ab33f1b0
, finished
latest
6 jobs 1 minute 20 seconds, queued for 6 seconds