From: David Wells Date: Tue, 7 Jan 2025 20:18:42 +0000 (-0500) Subject: Merge pull request #17897 from marcfehling/rol X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d35e35cdc12d10423553b765934f1108c9a30944;p=dealii.git Merge pull request #17897 from marcfehling/rol Modernize `dealii::Rol::VectorAdaptor` to use `ROL::Ptr`. --- d35e35cdc12d10423553b765934f1108c9a30944