From: Martin Kronbichler Date: Sat, 1 Jul 2023 06:03:01 +0000 (+0200) Subject: Merge pull request #15545 from drwells/shorten-face-vertex-location X-Git-Tag: relicensing~836 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6dbddd2b2923e5313206b7b717f32ce14031f687;p=dealii.git Merge pull request #15545 from drwells/shorten-face-vertex-location Make face_vertex_location_location() a lot shorter. --- 6dbddd2b2923e5313206b7b717f32ce14031f687