]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add a changelog entry. 15402/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 20 Jun 2023 21:44:10 +0000 (15:44 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 20 Jun 2023 21:44:10 +0000 (15:44 -0600)
doc/news/changes/minor/20230620Bangerth [new file with mode: 0644]

diff --git a/doc/news/changes/minor/20230620Bangerth b/doc/news/changes/minor/20230620Bangerth
new file mode 100644 (file)
index 0000000..68b4530
--- /dev/null
@@ -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)

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.