From: Matthias Maier Date: Thu, 13 Jul 2023 16:35:17 +0000 (+0000) Subject: Merge pull request #15736 from masterleinad/early_deprecated_headers X-Git-Tag: relicensing~684 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=164c7bed03f080a464fc5aa1d443771152a03ed8;p=dealii.git Merge pull request #15736 from masterleinad/early_deprecated_headers Only warn about deprecated std_cxx17 headers for DEAL_II_EARLY_DEPRECATIONS --- 164c7bed03f080a464fc5aa1d443771152a03ed8