Snippets Groups Projects

Merge branch 'release-0.3.0' into 'dev'

Joscha Schmiedt created pipeline for commit ae9441ed

8 months ago, finished 8 months ago

1 related merge request: !41 Release 0.3.0

25 minutes 52 seconds, queued for 2 seconds