diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 272348558..0481d4df1 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -81,6 +81,8 @@ - in `ftc.v`: + `FTC1` -> `FTC1_lebesgue_pt` +- in `measure.v`: + + `setD_closed` -> `setSD_closed` ### Generalized