From: Martin Kronbichler Date: Wed, 29 Mar 2023 05:46:51 +0000 (+0200) Subject: Merge pull request #14597 from kronbichler/clear_variable X-Git-Tag: v9.5.0-rc1~401 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6a5df1fc493c96c35d52715a85e194175be0055b;p=dealii.git Merge pull request #14597 from kronbichler/clear_variable Make sure to clear a variable that gets set --- 6a5df1fc493c96c35d52715a85e194175be0055b