From 4777bb43cab87743bcacd18ce3dc5796cf03247b Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 26 Jan 2023 16:08:16 -0700 Subject: [PATCH] Add a changelog entry. --- doc/news/changes/minor/20230126Bangerth | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 doc/news/changes/minor/20230126Bangerth diff --git a/doc/news/changes/minor/20230126Bangerth b/doc/news/changes/minor/20230126Bangerth new file mode 100644 index 0000000000..73842590d5 --- /dev/null +++ b/doc/news/changes/minor/20230126Bangerth @@ -0,0 +1,4 @@ +New: The function IndexSet::get_index_vector() returns a vector +with all indices that are part of an index set. +
+(Wolfgang Bangerth, 2023/01/26) -- 2.39.5