Skip to content
Snippets Groups Projects

minor nits

Passed
Ralf Jung created pipeline for commit 59643c49
, finished
Related merge request !586 to merge ralf/notc-apply-no-hnf
3 minutes 9 seconds, queued for 0 seconds