From: David Wells Date: Mon, 27 Jan 2025 20:19:49 +0000 (-0500) Subject: Merge pull request #18027 from bangerth/rename X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bec72c171f11c687ffcc82302ffb05dbe439a124;p=dealii.git Merge pull request #18027 from bangerth/rename Rename unit_tangential/normal_vectors() to face_tangent/normal_vector(). --- bec72c171f11c687ffcc82302ffb05dbe439a124