Skip to content
Snippets Groups Projects

improve comment

Passed
Ralf Jung created pipeline for commit 3b269ef3
, finished
Related merge request !587 to merge ralf/gen-tree
merge request
2 jobs 2 minutes 47 seconds, queued for 1 seconds