diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 12c871ea4..3e1106834 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -27,6 +27,7 @@ ### Removed - Drop support for MathComp 1.11 +- Typeclasses Opaque fmap. ### Infrastructure