Commit 601c6f8e authored by Andreas Dedner's avatar Andreas Dedner

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

Make version check of suggested modules non-fatal. See merge request core/dune-common!433
parents b94c5ae2 735dc88a
Pipeline #6710 passed with stage
in 8 minutes 3 seconds