Commit ad103af7 authored by Oliver Sander's avatar Oliver Sander

[!234] Always use shared_ptr from the std:: namespace explicitly

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

ref:staging/dune-functions Up to dune-common 2.7, Dune::shared_ptr was also
possible.

See merge request [!234]

  [!234]: gitlab.dune-project.org/staging/dune-functions/merge_requests/234
parents 27284cf9 5bcb2c14
Pipeline #24442 passed with stage
in 7 minutes and 53 seconds