From: Martin Kronbichler Date: Mon, 11 May 2020 10:44:56 +0000 (+0200) Subject: Merge pull request #10131 from tamiko/fix_a_test_17 X-Git-Tag: v9.2.0-rc1~34 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8889f22d5c5132152bdcbef7f6875869e6049ffd;p=dealii.git Merge pull request #10131 from tamiko/fix_a_test_17 Tests: grid/refine_boundary_domain - avoid roundoff errros --- 8889f22d5c5132152bdcbef7f6875869e6049ffd