From: Timo Heister Date: Thu, 3 Jun 2021 18:48:55 +0000 (-0400) Subject: Merge pull request #12383 from peterrum/DEAL_II_DEPRECATED_EARLY_user X-Git-Tag: v9.4.0-rc1~1284 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=395ca4f57e1168b62372d149f61880141a7e204e;p=dealii.git Merge pull request #12383 from peterrum/DEAL_II_DEPRECATED_EARLY_user Allow DEAL_II_DEPRECATED_EARLY in user code --- 395ca4f57e1168b62372d149f61880141a7e204e