From: Wolfgang Bangerth Date: Tue, 27 Aug 2024 03:23:12 +0000 (-0600) Subject: Merge pull request #17466 from gassmoeller/allow_parameter_deprecation X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed647d0eddc8eb53b0d5faf4836c8920562d0e4a;p=dealii.git Merge pull request #17466 from gassmoeller/allow_parameter_deprecation Allow to deprecate entries in ParameterHandler. --- ed647d0eddc8eb53b0d5faf4836c8920562d0e4a