From: Matthias Maier Date: Thu, 23 Jul 2015 13:42:06 +0000 (-0500) Subject: Merge pull request #1178 from tjhei/fix_test X-Git-Tag: v8.4.0-rc2~731 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ad7fe2e05bfc9acb97784fc67e8c8000c30f11c4;p=dealii.git Merge pull request #1178 from tjhei/fix_test Fix tests --- ad7fe2e05bfc9acb97784fc67e8c8000c30f11c4