Skip to content

[bugfix] correct DUNE_VERSION_NEWER alias

Martin Nolte requested to merge bugfix/dune-version-newer into master

The semantics of the old macro DUNE_VERSION_NEWER is DUNE_VERSION_GTE, not the opposite. While we're at it, also fix the deprecation message to suggest DUNE_VERSION_GTE instead of DUNE_VERSION_GE.

Merge request reports

Loading