From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Wed, 28 Jun 2023 18:10:21 +0000 (+0200)
Subject: Merge pull request #15417 from bangerth/erase
X-Git-Tag: relicensing~855
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=46efa07a588a6f1791b22810f3cc7083f328d9ac;p=dealii.git

Merge pull request #15417 from bangerth/erase

Standardize on the idiom of calling std::erase after std::unique.
---

46efa07a588a6f1791b22810f3cc7083f328d9ac