From: David Wells Date: Sun, 12 Mar 2023 20:55:10 +0000 (-0400) Subject: Merge pull request #14860 from bangerth/69-4 X-Git-Tag: v9.5.0-rc1~493 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=28a9c6d5b6cfc1b4895400bb779a84c159fa5910;p=dealii.git Merge pull request #14860 from bangerth/69-4 Make an input variable in step-69 'const'. --- 28a9c6d5b6cfc1b4895400bb779a84c159fa5910