From: Martin Kronbichler Date: Tue, 18 Aug 2015 09:25:14 +0000 (+0200) Subject: Merge pull request #1380 from bangerth/fix-tests X-Git-Tag: v8.4.0-rc2~594 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6b4eabbedd7bf31e83582bc01e06ce481770b65e;p=dealii.git Merge pull request #1380 from bangerth/fix-tests Fix tests by using the appropriate #include. --- 6b4eabbedd7bf31e83582bc01e06ce481770b65e