Merge branch 'fix/minimal_debug_level_vverb' into 'master' (!370) · Merge requests · Core Modules / dune-common · GitLab

Ansgar Burchardt requested to merge cherry-pick-b914b997 into releases/2.5 Nov 06, 2017

[cmake] Fix vverb not recognized as MINIMAL_DEBUG_LEVEL

See merge request !356 (merged)

(cherry picked from commit b914b997)

88ff8820 [cmake] Fix vverb not recognized as MINIMAL_DEBUG_LEVEL