Skip to content
Snippets Groups Projects

Do not import std::shared_ptr into namespace Dune

Merged 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

Pipeline #24399 passed

Pipeline passed for da3cb08d on unimport-shared-ptr

Merged by Christoph GrüningerChristoph Grüninger 5 years ago (Feb 12, 2020 5:05pm UTC)

Loading

Pipeline #24401 passed

Pipeline passed for 7b4f37f4 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading