From: Wolfgang Bangerth Date: Thu, 24 Aug 2023 23:34:41 +0000 (-0600) Subject: Add a changelog entry. X-Git-Tag: relicensing~549^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F15928%2Fhead;p=dealii.git Add a changelog entry. --- 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)