Skip to content
Snippets Groups Projects

Merge branch 'release-0.2.1' into 'master'

Passed
Dieter Weber created pipeline for commit 47fd1609
, finished
For support-ragged
branch
4 jobs 2 minutes 51 seconds, queued for 0 seconds