Skip to content
Snippets Groups Projects

style nits

Passed
Ralf Jung created pipeline for commit 2b560f64
, finished
Related merge request !343 to merge ralf/fold
4 minutes 39 seconds, queued for 7 seconds