From: David Wells Date: Thu, 19 Sep 2024 01:15:51 +0000 (-0400) Subject: Merge pull request #17714 from bangerth/smart-pointer X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ee4c79fd76ec56f4a6ac79fdaa15fea7af89a69;p=dealii.git Merge pull request #17714 from bangerth/smart-pointer Make sure the SmartPointer template remains accessible. --- 8ee4c79fd76ec56f4a6ac79fdaa15fea7af89a69