From: Peter Munch <peterrmuench@gmail.com>
Date: Thu, 13 Jul 2023 09:44:14 +0000 (+0200)
Subject: Merge pull request #15735 from peterrum/sum_const
X-Git-Tag: relicensing~689
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e6e7e3181034e044d765327cfd8d4603852f0d2b;p=dealii.git

Merge pull request #15735 from peterrum/sum_const

Make VectorizedArray::sum() const
---

e6e7e3181034e044d765327cfd8d4603852f0d2b