From: David Wells Date: Mon, 26 Sep 2022 20:13:57 +0000 (-0400) Subject: Merge pull request #14313 from dangars/dereference_cend X-Git-Tag: v9.5.0-rc1~922 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eef3883b5a869500f3fa0910760dcaec377bb8be;p=dealii.git Merge pull request #14313 from dangars/dereference_cend Do not dereference cend --- eef3883b5a869500f3fa0910760dcaec377bb8be