Skip to content
Snippets Groups Projects

nits

Passed
Ralf Jung created pipeline for commit 1ce38835
, finished
Related merge request !432 to merge ralf/union_with
4 minutes 50 seconds, queued for 2 seconds