From: Matthias Maier Date: Tue, 11 Jul 2023 04:34:46 +0000 (+0000) Subject: Merge pull request #15707 from tamiko/proper_cell_status_deprecation X-Git-Tag: relicensing~704 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=63ceec2e8e74501bcebe82d25029c59bb1d2763b;p=dealii.git Merge pull request #15707 from tamiko/proper_cell_status_deprecation Triangulation::CellStatus: provide proper compatibility type --- 63ceec2e8e74501bcebe82d25029c59bb1d2763b