Skip to content
Snippets Groups Projects

Merge branch 'update-faq' into 'master'

Passed
Uwe Jandt (DESY, HIFIS) created pipeline for commit 86324a9f
, finished
For master
11 jobs 4 minutes 35 seconds, queued for 9 seconds