Skip to content
Snippets Groups Projects

Merge branch 'develop' into 'deps'

Passed
David Schäfer created pipeline for commit 01a68539
, finished
1 related merge request: !745 Bump dependencies
11 jobs 5 minutes 0 seconds, queued for 2 seconds