[Warnings] Fix -Wunused-variable warnings found by clang 7. (!618) · Merge requests · Core Modules / dune-common · GitLab

Jö Fahlke requested to merge fix-clang7-unused-variable-warnings into master Jan 29, 2019

See https://gitlab.dune-project.org/core/dune-common/-/jobs/80025

Edited Jan 29, 2019 by Jö Fahlke