From 4c64273533d0c90ee0647ba95e63429e59783443 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 20 Jun 2023 15:44:10 -0600 Subject: [PATCH] Add a changelog entry. --- doc/news/changes/minor/20230620Bangerth | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 doc/news/changes/minor/20230620Bangerth 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) -- 2.39.5