From: Daniel Arndt Date: Fri, 1 May 2020 00:17:18 +0000 (-0400) Subject: Merge pull request #9996 from tamiko/clear_some_variables X-Git-Tag: v9.2.0-rc1~154 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=795f098db0def8d3f514c695e832dfcd28e399be;p=dealii.git Merge pull request #9996 from tamiko/clear_some_variables --- 795f098db0def8d3f514c695e832dfcd28e399be