Merge branch 'bugfix/fix-typo-in-varname-for-version-check-of-suggested-modules' into 'master' (!454) · Merge requests · Core Modules / dune-common · GitLab

Martin Nolte requested to merge cherry-pick-8c925fe0 into releases/2.6 Feb 08, 2018

Fixes typo in variable name in MR 433.

See merge request !453 (merged)

(cherry picked from commit 8c925fe0)

1200fa55 Fixes typo in variable name in MR 433.