From: Daniel Arndt Date: Sun, 12 Jul 2020 12:13:54 +0000 (-0400) Subject: Merge pull request #10697 from peterrum/simplex_gridgenerator_bug_fix X-Git-Tag: v9.3.0-rc1~1299 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3702634800bc8a1e105d6b8e05dd21b818f2811;p=dealii.git Merge pull request #10697 from peterrum/simplex_gridgenerator_bug_fix Fix a bug in Simplex::GridGenerator --- e3702634800bc8a1e105d6b8e05dd21b818f2811