From: Matthias Maier Date: Tue, 22 Sep 2015 21:43:17 +0000 (-0500) Subject: Merge pull request #1653 from bangerth/fix-test-13 X-Git-Tag: v8.4.0-rc2~381 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=34def13cd447e3394fb3d3827f3bf038fa3b1490;p=dealii.git Merge pull request #1653 from bangerth/fix-test-13 Fix output of a test. --- 34def13cd447e3394fb3d3827f3bf038fa3b1490