Merge branch 'bugfix/bitsetvector-signed-unsigned-warning' into 'master'

[bugfix] silence signed/unsigned comparison warning

See merge request !349 (merged)

(cherry picked from commit 71b60f5e)

965f0bc2 [bugfix] silence signed/unsigned comparison warning

Merge request reports

Loading