From: Martin Kronbichler Date: Fri, 12 Jun 2015 06:56:29 +0000 (+0200) Subject: Merge pull request #1002 from bangerth/fix-test-3 X-Git-Tag: v8.3.0-rc1~119 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=743bf6c4ca930b0a58ffb8441f024099ff6980d6;p=dealii.git Merge pull request #1002 from bangerth/fix-test-3 Fix test output. --- 743bf6c4ca930b0a58ffb8441f024099ff6980d6