From: Martin Kronbichler Date: Fri, 15 Dec 2023 08:03:14 +0000 (+0100) Subject: Merge pull request #16351 from bangerth/remove X-Git-Tag: relicensing~245 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0a05364994b8d6af147a9a0c235330e40d51d84e;p=dealii.git Merge pull request #16351 from bangerth/remove Do not create arrays we do not use. --- 0a05364994b8d6af147a9a0c235330e40d51d84e