Skip to content
Snippets Groups Projects

tweak comment

Passed
Ralf Jung created pipeline for commit 8c9a2448
, finished
Related merge request !512 to merge ralf/odestruct
5 minutes 4 seconds, queued for 3 seconds