From: Wolfgang Bangerth Date: Sat, 11 Jan 2025 04:16:25 +0000 (-0700) Subject: Merge pull request #17987 from drwells/deprecate-geometric-entity-type X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5865035b2f6b39d524f017da6d85849e7ba5cae8;p=dealii.git Merge pull request #17987 from drwells/deprecate-geometric-entity-type Deprecate `types::geometric_entity_type`. --- 5865035b2f6b39d524f017da6d85849e7ba5cae8