From: David Wells Date: Tue, 26 Oct 2021 17:13:00 +0000 (-0400) Subject: Merge pull request #12875 from bangerth/refce X-Git-Tag: v9.4.0-rc1~890 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8868575d283ba659df8a0d00e8e334c587c99ac0;p=dealii.git Merge pull request #12875 from bangerth/refce Make Patch<0,spacedim>::reference_cell const. --- 8868575d283ba659df8a0d00e8e334c587c99ac0