Skip to content
Snippets Groups Projects

Merge branch 'install-redirections-to-hifis.net' into 'master'

Passed
Uwe Jandt (DESY, HIFIS) created pipeline for commit 4943a66b
, finished
For master
latest
11 jobs 6 minutes 28 seconds, queued for 3 seconds