From: David Wells Date: Tue, 28 Jun 2022 20:14:57 +0000 (-0400) Subject: Merge pull request #14020 from kronbichler/use_shortcuts X-Git-Tag: v9.5.0-rc1~1138 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=969cfe8cd8be564d2b916811c62aa7f68aaaf53a;p=dealii.git Merge pull request #14020 from kronbichler/use_shortcuts Avoid unnecessary locally_relevant_dofs in mg_transfer_internal --- 969cfe8cd8be564d2b916811c62aa7f68aaaf53a