From: Peter Munch Date: Tue, 12 Jul 2022 19:07:08 +0000 (+0200) Subject: Merge pull request #14116 from jh66637/copy_bnd_ids X-Git-Tag: v9.5.0-rc1~1097 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9aceb352a3622edb6582dabbb0169eeb7f87e56f;p=dealii.git Merge pull request #14116 from jh66637/copy_bnd_ids Introduce copy_boundary_ids in merge_triangulation() --- 9aceb352a3622edb6582dabbb0169eeb7f87e56f