Skip to content
Snippets Groups Projects

Merge remote-tracking branch 'origin/dev' into dev

Passed
Florian Schröder created pipeline for commit 433bf225
, finished
1 related merge request: !110 V1.2.0 changes
1 job 1 minute 22 seconds, queued for 2 seconds