From: Wolfgang Bangerth Date: Fri, 17 Jul 2015 12:25:27 +0000 (+0200) Subject: Merge pull request #1149 from tjhei/r83_pr1147 X-Git-Tag: v8.3.0-rc2~9 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eefd6811971c35bc63215912db1a174440bb340b;p=dealii.git Merge pull request #1149 from tjhei/r83_pr1147 [8.3] take over #1147: Bugfix: Do not test for inclusion of config.h in header tests --- eefd6811971c35bc63215912db1a174440bb340b