From: David Wells Date: Mon, 6 May 2024 22:58:49 +0000 (-0400) Subject: Merge pull request #16973 from bangerth/const-13 X-Git-Tag: v9.6.0-rc1~313 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b7662a30b116cac16bb6b154178f4384b115e7ea;p=dealii.git Merge pull request #16973 from bangerth/const-13 Mark an input argument as 'const', and in the process give it a reasonable type. --- b7662a30b116cac16bb6b154178f4384b115e7ea