From: Martin Kronbichler Date: Tue, 11 Mar 2025 07:00:57 +0000 (+0100) Subject: Merge pull request #18222 from bangerth/std X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a921070fed9daa6417ed24a1b263cf24b772a42;p=dealii.git Merge pull request #18222 from bangerth/std Use functions/types from std:: instead of ::. --- 5a921070fed9daa6417ed24a1b263cf24b772a42