Merge branch 'feature/add-version-to-dune-uggrid-suggestion' into 'master' (!269) · Merge requests · Core Modules / dune-grid · GitLab

Markus Blatt requested to merge cherry-pick-a6e96315 into releases/2.6 Jan 23, 2018

Suggest a specific version for dune-uggrid.

Closes #72 (closed)

See merge request !263 (merged)

(cherry picked from commit a6e96315)

67dd12af Suggest a specific version for dune-uggrid.