From: Daniel Arndt Date: Sat, 28 Jun 2025 16:29:25 +0000 (-0400) Subject: Merge pull request #18595 from bangerth/cxx X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=579a0d36923f447e2e22f000b7b80568454143a1;p=dealii.git Merge pull request #18595 from bangerth/cxx --- 579a0d36923f447e2e22f000b7b80568454143a1