update to master
Passed
Michael Sammler
created pipeline for commit
b8a40f8a
, finished
Related merge request !250 to merge msammler/bitvector
4 minutes 24 seconds, queued for 4 seconds