From: David Wells Date: Mon, 14 Apr 2025 21:02:37 +0000 (-0400) Subject: Merge pull request #18357 from bangerth/const X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=24f3489fdce21f4ba5ff7f982b0ccf11e0f7d4ed;p=dealii.git Merge pull request #18357 from bangerth/const Mark some input arguments 'const'. --- 24f3489fdce21f4ba5ff7f982b0ccf11e0f7d4ed