From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 30 Jun 2023 18:59:19 +0000 (-0600)
Subject: Merge pull request #15536 from kronbichler/simplify_index_set
X-Git-Tag: relicensing~841
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=795b8039c07f2da736a45ad6eef8233150cbd1bb;p=dealii.git

Merge pull request #15536 from kronbichler/simplify_index_set

Simplify IndexSet::add_index()
---

795b8039c07f2da736a45ad6eef8233150cbd1bb