Merge branch 'feature/make-version-check-of-suggested-module-non-fatal' into 'master' (!443) · Merge requests · Core Modules / dune-common

Merged Markus Blatt requested to merge cherry-pick-601c6f8e into releases/2.6 7 years ago

Jan 23, 2018

Merge branch 'feature/make-version-check-of-suggested-module-non-fatal' into 'master' · d72f5e3c

Andreas Dedner authored 7 years ago and

Markus Blatt committed 7 years ago

Make version check of suggested modules non-fatal.

See merge request !433

(cherry picked from commit 601c6f8e)

735dc88a Make version check of suggested modules non-fatal.

d72f5e3c

Merge branch 'feature/make-version-check-of-suggested-module-non-fatal' into 'master'

Merge request reports

Activity