From 20bdebadc6f865c1c39bccf9548e038b99e7df52 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Mon, 21 Dec 2020 13:23:08 +0900
Subject: [PATCH] record Typeclasses Opaque removal

- see PR #308
---
 CHANGELOG_UNRELEASED.md | 1 +
 1 file changed, 1 insertion(+)

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