From: David Wells Date: Fri, 6 Sep 2024 20:09:37 +0000 (-0400) Subject: Merge pull request #17673 from bangerth/smart-pointer X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7b29c7592ddb9e951020e0681a6098b5ff0f0760;p=dealii.git Merge pull request #17673 from bangerth/smart-pointer Rename function arguments in SmartPointer. --- 7b29c7592ddb9e951020e0681a6098b5ff0f0760