From: Matthias Maier Date: Mon, 7 Aug 2023 14:14:19 +0000 (+0000) Subject: Merge pull request #15794 from peterrum/mg_gc_edge_indices X-Git-Tag: relicensing~613 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d5702f16c92c0f50ecfb1fd0db85607dea7cdcc1;p=dealii.git Merge pull request #15794 from peterrum/mg_gc_edge_indices Use MGTransferGlobalCoarsening also for local smoothing --- d5702f16c92c0f50ecfb1fd0db85607dea7cdcc1