Skip to content
Snippets Groups Projects

Merge branch 'develop' into 'master'

Passed
jfriedli created pipeline for commit 02f2d68a
, finished
For v1.7.1
6 minutes 38 seconds, queued for 0 seconds