From: Peter Munch Date: Sun, 23 Jul 2023 09:24:11 +0000 (+0200) Subject: Merge pull request #15782 from peterrum/solution_copy_indices_global_mine X-Git-Tag: relicensing~650 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fda8ef60aebc56f30fa0a7fc5b45397e5dc0d525;p=dealii.git Merge pull request #15782 from peterrum/solution_copy_indices_global_mine MGLevelGlobalTransfer: remove unused variables --- fda8ef60aebc56f30fa0a7fc5b45397e5dc0d525