From: Peter Munch <peterrmuench@gmail.com>
Date: Mon, 30 Nov 2020 06:52:12 +0000 (+0100)
Subject: Merge pull request #11275 from bangerth/const
X-Git-Tag: v9.3.0-rc1~835
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6bca65920aff7aabb1df1a605761f95e7bb3b4c8;p=dealii.git

Merge pull request #11275 from bangerth/const

Mark a number of input arguments as 'const'.
---

6bca65920aff7aabb1df1a605761f95e7bb3b4c8