From: David Wells Date: Sat, 22 Apr 2023 13:24:45 +0000 (-0400) Subject: Merge pull request #15051 from bangerth/map X-Git-Tag: v9.5.0-rc1~296 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4fec0bba4c512b8d7020164a4d53174a12350c0e;p=dealii.git Merge pull request #15051 from bangerth/map Return objects by value, rather than via a reference. --- 4fec0bba4c512b8d7020164a4d53174a12350c0e