Skip to content

Do not import std::shared_ptr into namespace Dune

Oliver Sander requested to merge unimport-shared-ptr into master

This is a left-over from the days where Dune had its own implementation of std::shared_ptr. Now that that is long gone, it violates the principle of least surprise to find shared_ptr in Dune::

Edited by Oliver Sander

Merge request reports