From: Wolfgang Bangerth Date: Fri, 7 Jul 2023 18:26:39 +0000 (-0600) Subject: Merge pull request #15672 from masterleinad/deprecated_implciit_conversions_of_masks X-Git-Tag: relicensing~726 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a8f4db78abd1e0110fed75adf5485e9070236b5f;p=dealii.git Merge pull request #15672 from masterleinad/deprecated_implciit_conversions_of_masks Introduce DEAL_II[_DEPRECATED_EARLY]_WITH_COMMENT --- a8f4db78abd1e0110fed75adf5485e9070236b5f