Skip to content
Snippets Groups Projects

Do not import std::shared_ptr into namespace Dune

Passed
Oliver Sander created pipeline for commit da3cb08d
, finished
1 related merge request: !764 Do not import std::shared_ptr into namespace Dune
branch
8 jobs 8 minutes 7 seconds, queued for 4 seconds