Skip to content
Snippets Groups Projects

Merge branch 'master' into 'devel'

Passed
David Dorchies created pipeline for commit 80bf0c95
, finished
1 related merge request: !275 Release v4.19.0
Scheduled
7 jobs 57 minutes 7 seconds, queued for 8 seconds