From: Wolfgang Bangerth Date: Wed, 3 Feb 2021 17:51:04 +0000 (-0700) Subject: Merge pull request #11671 from luca-heltai/fix-get-manifolds X-Git-Tag: v9.3.0-rc1~517 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=63037e1fc38e6b24c54b0e0f4829c77ef66c614c;p=dealii.git Merge pull request #11671 from luca-heltai/fix-get-manifolds Make sure we return all manifold ids. --- 63037e1fc38e6b24c54b0e0f4829c77ef66c614c