From: Wolfgang Bangerth Date: Tue, 20 Jun 2023 21:44:10 +0000 (-0600) Subject: Add a changelog entry. X-Git-Tag: relicensing~853^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F15402%2Fhead;p=dealii.git Add a changelog entry. --- diff --git a/doc/news/changes/minor/20230620Bangerth b/doc/news/changes/minor/20230620Bangerth new file mode 100644 index 0000000000..68b4530057 --- /dev/null +++ b/doc/news/changes/minor/20230620Bangerth @@ -0,0 +1,5 @@ +Fixed: The function IndexSet::add_indices() was not efficient when +adding sets of indices that are sorted but contain duplicates. This is +now fixed. +
+(Wolfgang Bangerth, 2023/06/20)