From: Martin Kronbichler Date: Sat, 15 Aug 2015 06:18:04 +0000 (+0200) Subject: Merge pull request #1371 from bangerth/fix-testcase X-Git-Tag: v8.4.0-rc2~603 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=16de6bb1c71ddcc982b12e31236e21fd313a43fa;p=dealii.git Merge pull request #1371 from bangerth/fix-testcase Fix testcase. --- 16de6bb1c71ddcc982b12e31236e21fd313a43fa