From: Peter Munch Date: Thu, 9 Mar 2023 06:24:59 +0000 (+0100) Subject: Merge pull request #14360 from jh66637/get_vertices_in_cgal_order_face_iter X-Git-Tag: v9.5.0-rc1~501 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7331b14d3e3d68033c9dc0b64631ce3b66db7bc2;p=dealii.git Merge pull request #14360 from jh66637/get_vertices_in_cgal_order_face_iter Get vertices in CGAL order on face --- 7331b14d3e3d68033c9dc0b64631ce3b66db7bc2