From: Matthias Maier Date: Thu, 6 Jul 2023 14:36:57 +0000 (+0000) Subject: Merge pull request #15084 from luca-heltai/map_boundary_to_bulk_dof_iterators X-Git-Tag: relicensing~735 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e0bfb0efd6bc1df8f4d26fa5cb088b651658ea4c;p=dealii.git Merge pull request #15084 from luca-heltai/map_boundary_to_bulk_dof_iterators Map boundary to bulk dof iterators. --- e0bfb0efd6bc1df8f4d26fa5cb088b651658ea4c