Merge branch 'bugfix/bitsetvector-signed-unsigned-warning' into 'master' (!351) · Merge requests · Core Modules / dune-common · GitLab

Martin Nolte requested to merge cherry-pick-71b60f5e into releases/2.6 Oct 30, 2017

[bugfix] silence signed/unsigned comparison warning

See merge request !349 (merged)

(cherry picked from commit 71b60f5e)

965f0bc2 [bugfix] silence signed/unsigned comparison warning