From: Luca Heltai Date: Wed, 8 Jun 2022 08:51:59 +0000 (+0200) Subject: Merge pull request #13927 from tamiko/fix_compile_warnings_02 X-Git-Tag: v9.4.0-rc1~53 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=38cf3f584366bb27d2d94dd994675011842e8fac;p=dealii.git Merge pull request #13927 from tamiko/fix_compile_warnings_02 CMake: add DEAL_II_CGAL_HAS_DEPRECATED_BOOST_INCLUDES check --- 38cf3f584366bb27d2d94dd994675011842e8fac