From: Marc Fehling <mafehling.git@gmail.com>
Date: Fri, 6 May 2022 18:26:53 +0000 (-0600)
Subject: Merge pull request #13676 from kronbichler/simplify_set_init
X-Git-Tag: v9.4.0-rc1~271
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1857f60227401ab2eed2e53b8f625b0019366a95;p=dealii.git

Merge pull request #13676 from kronbichler/simplify_set_init

Use simpler initialization of std::set
---

1857f60227401ab2eed2e53b8f625b0019366a95