From: David Wells <drwells@email.unc.edu>
Date: Wed, 16 Oct 2024 03:09:37 +0000 (-0400)
Subject: Merge pull request #17781 from peterrum/CellIDTranslator_translate_level
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cdfa4b258c38105f44c7744ba65e5fe146f08695;p=dealii.git

Merge pull request #17781 from peterrum/CellIDTranslator_translate_level

Introduce `CellIDTranslator.translate_level()`
---

cdfa4b258c38105f44c7744ba65e5fe146f08695