From: Martin Kronbichler 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