Skip to content
Snippets Groups Projects

Merge branch 'devel' into 'master'

Passed
Lukáš Pokorný created pipeline for commit f2a48c76
, finished
For v0.6.3
latest tag
3 jobs 6 minutes 45 seconds, queued for 1 seconds