From: Wolfgang Bangerth Date: Tue, 7 Feb 2017 22:15:31 +0000 (-0700) Subject: Merge pull request #3936 from davydden/tests/memory_consumption_01 X-Git-Tag: v8.5.0-rc1~138 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=07b01732756f8e88d1d4ab503de1a357db35f9e8;p=dealii.git Merge pull request #3936 from davydden/tests/memory_consumption_01 tests: extra output for memory_consumption_01 --- 07b01732756f8e88d1d4ab503de1a357db35f9e8