From: Peter Munch <peterrmuench@gmail.com>
Date: Sat, 8 Jul 2023 12:43:12 +0000 (+0200)
Subject: Merge pull request #15682 from bangerth/array
X-Git-Tag: relicensing~720
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c75ea6c115ddd0adfcf6c9dc89666d5eeea83690;p=dealii.git

Merge pull request #15682 from bangerth/array

Replace use of C-style array by std::array.
---

c75ea6c115ddd0adfcf6c9dc89666d5eeea83690