Skip to content
Snippets Groups Projects
Commit 7b4f37f4 authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

[!764] Do not import std::shared_ptr into namespace Dune

Merge branch 'unimport-shared-ptr' into 'master'

ref:core/dune-common 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::

See merge request [core/dune-common!764]

  [core/dune-common!764]: gitlab.dune-project.org/core/dune-common/merge_requests/764
parents fd4d4449 da3cb08d
Branches
Tags
1 merge request!764Do not import std::shared_ptr into namespace Dune
Pipeline #24401 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment