From: Peter Munch Date: Tue, 25 Aug 2020 14:48:22 +0000 (+0200) Subject: Merge pull request #10838 from richardschu/patch-1 X-Git-Tag: v9.3.0-rc1~1174 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=03e8600acd8303ae58e449a337e29867cd00877d;p=dealii.git Merge pull request #10838 from richardschu/patch-1 Destroy tmp matrix in mmult. --- 03e8600acd8303ae58e449a337e29867cd00877d