From: Peter Munch Date: Tue, 10 Sep 2024 06:41:12 +0000 (+0200) Subject: Merge pull request #17678 from drwells/fix-codim-2-boundary-ids X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d3b6f0db438b911b57ff80873641a5ca35f9e74f;p=dealii.git Merge pull request #17678 from drwells/fix-codim-2-boundary-ids Triangulation::get_boundary_ids(): don't return duplicates. --- d3b6f0db438b911b57ff80873641a5ca35f9e74f