From: David Wells Date: Sun, 6 Aug 2023 17:03:28 +0000 (-0400) Subject: Merge pull request #15801 from bangerth/x3 X-Git-Tag: relicensing~617 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2ed30396587e6e4f3834718d233826a6036ab4b;p=dealii.git Merge pull request #15801 from bangerth/x3 Make GridGenerator::hyper_cube_with_cylindrical_hole<2>() more robust. --- a2ed30396587e6e4f3834718d233826a6036ab4b