From: Peter Munch <peterrmuench@gmail.com>
Date: Wed, 29 Jun 2022 20:22:11 +0000 (+0200)
Subject: Merge pull request #14070 from masterleinad/remove_cellid_to_cell
X-Git-Tag: v9.5.0-rc1~1131
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=319be96080e1479eb0aad2f429da036826c98f05;p=dealii.git

Merge pull request #14070 from masterleinad/remove_cellid_to_cell

Remove CellId::to_cell
---

319be96080e1479eb0aad2f429da036826c98f05