Skip to content

Always use shared_ptr from the std:: namespace explicitly

Oliver Sander requested to merge do-not-use-dune-shared-ptr into master

Up to dune-common 2.7, Dune::shared_ptr was also possible.

Merge request reports