Commit 7662ebb6 authored by Oliver Sander's avatar Oliver Sander

[!67] Always use shared_ptr from std::

Merge branch 'do-not-use-dune-shared-ptr' into 'master'

ref:staging/dune-typetree Up until dune-common 2.7, Dune::shared_ptr would
also work (and point to the std implementation). Post-2.7, only
std::shared_ptr is possible.

See merge request [!67]

  [!67]: gitlab.dune-project.org/staging/dune-typetree/merge_requests/67
parents 233ef89b b6b6455e
Pipeline #24438 passed with stage
in 1 minute and 53 seconds