Skip to content
Snippets Groups Projects

add maintain comment

Passed
Michael Sammler created pipeline for commit 188c1b34
, finished
Related merge request !542 to merge ralf/bitvector
merge request
2 jobs 5 minutes 9 seconds, queued for 2 seconds