From: Luca Heltai Date: Mon, 7 Jul 2025 07:39:31 +0000 (+0200) Subject: Merge pull request #18614 from hofssasc/extract_ordered_boundary_vertices X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b76c3f1822fba620f4615e6c73b9b2270a0708da;p=dealii.git Merge pull request #18614 from hofssasc/extract_ordered_boundary_vertices GridTools: Extract ordered boundary vertices --- b76c3f1822fba620f4615e6c73b9b2270a0708da