Patch releases/2.6 branch to work with 2.6 releases
This patches the releases/2.6 branch to work with the 2.6 releases of the core modules and dune-typetree.
This patches the releases/2.6 branch to work with the 2.6 releases of the core modules and dune-typetree.