From: Martin Kronbichler <martin.kronbichler@uni-a.de>
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