From: Daniel Arndt Date: Tue, 17 Sep 2024 21:29:11 +0000 (-0400) Subject: Merge pull request #17689 from bangerth/smart-pointer X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=28cda481ac2b0436d4ade168180be397da170202;p=dealii.git Merge pull request #17689 from bangerth/smart-pointer Rename SmartPointer -> ObserverPointer. --- 28cda481ac2b0436d4ade168180be397da170202