Merge branch 'fix/signed-unsigned-warnings' into 'master' (!139) · Merge requests · Core Modules / dune-istl · GitLab

Jö Fahlke requested to merge cherry-pick-978ca904 into releases/2.6 Nov 06, 2017

[Warnings] Fix a signed/unsigned warning.

See merge request !126 (merged)

(cherry picked from commit 978ca904)

d39963f3 [Warnings] Fix a signed/unsigned warning.