Merge branch 'bugfix/dune-version-newer' into 'master'

Martin Nolterequested to merge
cherry-pick-62714041 into releases/2.6

[bugfix] correct DUNE_VERSION_NEWER alias

See merge request !353 (merged)

(cherry picked from commit 62714041)

6cc426ab [bugfix] correct DUNE_VERSION_NEWER alias

Merge request reports