From: Daniel Arndt Date: Wed, 31 Aug 2022 17:00:07 +0000 (-0400) Subject: Merge pull request #13820 from drwells/refactor-grid-fixup-functions X-Git-Tag: v9.5.0-rc1~1001 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bafd99f085f55deb6a52c746b36fa2c9c78f7382;p=dealii.git Merge pull request #13820 from drwells/refactor-grid-fixup-functions --- bafd99f085f55deb6a52c746b36fa2c9c78f7382