From: Martin Kronbichler Date: Thu, 1 Oct 2015 15:38:47 +0000 (+0200) Subject: Merge pull request #1699 from bangerth/fix-test-12 X-Git-Tag: v8.4.0-rc2~352 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e8274b666ee506aa71842ded1ae13c973f0e773e;p=dealii.git Merge pull request #1699 from bangerth/fix-test-12 Fix test output. --- e8274b666ee506aa71842ded1ae13c973f0e773e