From: Matthias Maier Date: Sun, 16 Jul 2023 00:54:48 +0000 (+0000) Subject: Merge pull request #15754 from luca-heltai/remove_duplicate_indices_goe_ArborX X-Git-Tag: relicensing~669 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=02ae8ee43b99f9e920300ca612f37e85197d0df4;p=dealii.git Merge pull request #15754 from luca-heltai/remove_duplicate_indices_goe_ArborX Remove duplicate indices if ArborX is available --- 02ae8ee43b99f9e920300ca612f37e85197d0df4