Merge branch 'feature/shut-up-compiler-warnings' into 'master' (!983) · Merge requests · Core Modules / dune-common · GitLab

Markus Blatt requested to merge cherry-pick-8b107865 into releases/2.8 Jul 27, 2021

get rid of unused/shadowed variable compiler warnings.

See merge request !981 (merged)

(cherry picked from commit 8b107865)

0d862660 get rid of unused/shadowed variable compiler warnings.