From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Fri, 13 Oct 2023 18:34:34 +0000 (+0200)
Subject: Merge pull request #16118 from bangerth/index-set
X-Git-Tag: relicensing~403
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=736f918fe173461e97d30634298dbea8bc4f6753;p=dealii.git

Merge pull request #16118 from bangerth/index-set

Improve an error message in IndexSet::get_view().
---

736f918fe173461e97d30634298dbea8bc4f6753