Skip to content
Snippets Groups Projects

Merge branch 'gcorti_adapt_to_gauss_mr979' into 'master'

Passed
Dmitry Popov created pipeline for commit 14e14d16
, finished
For master
5 jobs 45 seconds, queued for 2 seconds