From: Daniel Arndt Date: Mon, 20 Nov 2023 14:47:02 +0000 (-0500) Subject: Merge pull request #16278 from kinnewig/make_teuchos_rcp X-Git-Tag: relicensing~290 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3f890a23fe836905b01225c847d07feee866706;p=dealii.git Merge pull request #16278 from kinnewig/make_teuchos_rcp --- e3f890a23fe836905b01225c847d07feee866706