Merge branch 'feature/fix-dune-version-newer' into 'master'

Replace DUNE_VERSION_NEWER with DUNE_VERSION_GTE.

See merge request !329 (merged)

(cherry picked from commit 154ed2e1)

1ca06550 [feature][DUNE_VERSION] Replace DUNE_VERSION_NEWER with DUNE_VERSION_GTE

Edited by Andreas Dedner

Merge request reports

Loading