From: David Wells Date: Thu, 8 May 2025 12:13:26 +0000 (-0400) Subject: Merge pull request #18438 from bangerth/x-4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=86fa04bfa4f9cf0d2fbb21585be8deadd0ad64c6;p=dealii.git Merge pull request #18438 from bangerth/x-4 Prefer std::free() over ::free(). --- 86fa04bfa4f9cf0d2fbb21585be8deadd0ad64c6