From: Peter Munch Date: Thu, 28 Oct 2021 08:13:40 +0000 (+0200) Subject: Merge pull request #12874 from bangerth/subdiv X-Git-Tag: v9.4.0-rc1~879 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=22d96468a6c83ce13fd3df24a2ab708667ec645c;p=dealii.git Merge pull request #12874 from bangerth/subdiv Make Patch<0,spacedim>::n_subdivisions a 'const' variable. --- 22d96468a6c83ce13fd3df24a2ab708667ec645c