From: Marc Fehling Date: Tue, 8 Apr 2025 10:39:40 +0000 (+0200) Subject: Merge pull request #18338 from bangerth/tria-1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=152b37a7b0556633442a2582282429bb43153ee2;p=dealii.git Merge pull request #18338 from bangerth/tria-1 Fix naming of variables in tria.cc, part 1. --- 152b37a7b0556633442a2582282429bb43153ee2