From: Martin Kronbichler Date: Fri, 14 Jul 2023 12:49:39 +0000 (+0200) Subject: Merge pull request #15696 from bangerth/gg X-Git-Tag: relicensing~679 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1642fade195d232a7b841e6a164c8fd72e5fa33c;p=dealii.git Merge pull request #15696 from bangerth/gg Minor updates to GridGenerator::hyper_cube_with_cylindrical_hole(). --- 1642fade195d232a7b841e6a164c8fd72e5fa33c