Snippets Groups Projects

Merge branch 'master' into 'master'

Markus Holzer created pipeline for commit a3cec2ce

3 years ago, finished 3 years ago

For release/0.4.0

100 minutes 57 seconds, queued for 1 seconds