Skip to content

[cleanup] Drop compatibility with Dune 2.6' interface

Christoph Grüninger requested to merge feature/drop-2.6-compatibility into master

Do not use deprecated Dune version macro

Merge request reports