Forked from
agnumpde / dune-solvers
oliver.sander_at_tu-dresden.de
authored
Otherwise, non-default destructors in derived class are not called properly when handling a derived class through a base pointer.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.