Merge branch 'feature/fix-dune-version-newer' into 'master' (!379) · Merge requests · Core Modules / dune-common · GitLab

Snippets Groups Projects

Merged Andreas Dedner requested to merge cherry-pick-154ed2e1 into releases/2.6 7 years ago

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 7 years ago by Andreas Dedner

Activity

Andreas Dedner changed the description 7 years ago

changed the description
Andreas Dedner changed milestone to %DUNE 2.6.0 7 years ago

changed milestone to %DUNE 2.6.0
Andreas Dedner mentioned in commit 55746743 7 years ago

mentioned in commit 55746743
Andreas Dedner merged 7 years ago

merged

Please register or sign in to reply