From: Marc Fehling Date: Thu, 19 Aug 2021 02:38:47 +0000 (-0600) Subject: Merge pull request #12674 from bangerth/const X-Git-Tag: v9.4.0-rc1~1058 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7a2cec9c87a368a978374001666315c60bc0b003;p=dealii.git Merge pull request #12674 from bangerth/const Make TriaAccessor::set_*_boundary() const. --- 7a2cec9c87a368a978374001666315c60bc0b003