From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Thu, 5 Oct 2023 14:06:04 +0000 (+0200)
Subject: Merge pull request #16079 from bangerth/view
X-Git-Tag: relicensing~435
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7f0ef6af1585c3717881b44876ae72c2425b28f8;p=dealii.git

Merge pull request #16079 from bangerth/view

Add a function to take a view of an index set with regard to an index set mask.
---

7f0ef6af1585c3717881b44876ae72c2425b28f8