From: David Wells Date: Sat, 12 Apr 2025 13:24:31 +0000 (-0400) Subject: Merge pull request #18352 from bangerth/std X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=10967a192ba9c867e65dbd631c7802f4435875b6;p=dealii.git Merge pull request #18352 from bangerth/std Prefer names with std::. --- 10967a192ba9c867e65dbd631c7802f4435875b6