From: Daniel Arndt Date: Tue, 7 Jul 2020 12:44:55 +0000 (-0400) Subject: Merge pull request #10651 from marcfehling/unification-without-domination X-Git-Tag: v9.3.0-rc1~1331 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae3530138b5f73936c71838b24207e581a2ed51b;p=dealii.git Merge pull request #10651 from marcfehling/unification-without-domination Bugfix: Unify dof indices on ghost interfaces if no finite element dominates. --- ae3530138b5f73936c71838b24207e581a2ed51b