From: Timo Heister Date: Fri, 16 May 2025 06:31:14 +0000 (-0400) Subject: Merge pull request #18456 from bangerth/t X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=967d434566f3c631cd0ff2354037f545d6c7cffa;p=dealii.git Merge pull request #18456 from bangerth/t Handle template arguments better in grid_out.cc. --- 967d434566f3c631cd0ff2354037f545d6c7cffa