Skip to content
Snippets Groups Projects

[intro] Do a bit of final polishing

Passed
Bernd Flemisch created pipeline for commit 0d157974
, finished
Related merge request !263 to merge intro-final-polishing
Child pipeline ( parent ) merge request
4 jobs 1 minute 54 seconds, queued for 1 seconds