From bf8592492eaf884ef417ef837e7b855e317f3bfd Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 24 Aug 2023 17:34:41 -0600 Subject: [PATCH] Add a changelog entry. --- doc/news/changes/minor/20230824Bangerth | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 doc/news/changes/minor/20230824Bangerth diff --git a/doc/news/changes/minor/20230824Bangerth b/doc/news/changes/minor/20230824Bangerth new file mode 100644 index 0000000000..433e722aa1 --- /dev/null +++ b/doc/news/changes/minor/20230824Bangerth @@ -0,0 +1,3 @@ +New: The function IndexSet::is_subset_of() does as its name suggests. +
+(Wolfgang Bangerth, 2023/08/24) -- 2.39.5