From: Daniel Arndt <arndtd@ornl.gov>
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