From: Martin Kronbichler Date: Fri, 27 Oct 2023 19:32:02 +0000 (+0200) Subject: Merge pull request #16179 from bangerth/81 X-Git-Tag: relicensing~350 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8bc8079392e22b326387948fa6e3fde32144d4b7;p=dealii.git Merge pull request #16179 from bangerth/81 Use FEValues extractors, avoid explicit use of view. --- 8bc8079392e22b326387948fa6e3fde32144d4b7