Skip to content
Snippets Groups Projects

Merge !681: various nitpicks, see commits for details

Warning
Petr Špaček created pipeline for commit b6a4f0d9
, finished
Scheduled
28 jobs 9 minutes 34 seconds, queued for 2 seconds