From: Luca Heltai Date: Thu, 30 Dec 2021 17:53:51 +0000 (+0100) Subject: Merge pull request #13154 from jppelteret/iterator_filter_predicates_01 X-Git-Tag: v9.4.0-rc1~686 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d9151fcfa5a32e7c62906e0fbda9084593e80dec;p=dealii.git Merge pull request #13154 from jppelteret/iterator_filter_predicates_01 Iterator filter predicates for boundary and manifold IDs --- d9151fcfa5a32e7c62906e0fbda9084593e80dec