From: Martin Kronbichler Date: Tue, 24 Oct 2023 08:22:22 +0000 (+0200) Subject: Merge pull request #16173 from bangerth/x5 X-Git-Tag: relicensing~366 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9050964e12906d7bf17be03e403e493b589d88f6;p=dealii.git Merge pull request #16173 from bangerth/x5 Move objects into place rather than swapping them. --- 9050964e12906d7bf17be03e403e493b589d88f6