Skip to content
Snippets Groups Projects

Merge branch 'gcorti-master-patch-0fc8' into 'master'

Passed
Gloria Corti created pipeline for commit e964dd94
, finished
For master
8 jobs 48 seconds, queued for 1 seconds