Add a changelog entry.

diff --git a/doc/news/changes/minor/20230620Bangerth b/doc/news/changes/minor/20230620Bangerth
new file mode 100644 (file)
index 0000000..68b4530
--- /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.
+<br>
+(Wolfgang Bangerth, 2023/06/20)