From: Marc Fehling 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