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