Skip to content
Snippets Groups Projects

Merge branch '202_sphinx_pages' into 'master'

Passed
Martin Schwenke created pipeline for commit 2c9f48c7
, finished
For master
Scheduled branch
7 jobs 10 minutes 22 seconds, queued for 2 seconds