aboutsummaryrefslogtreecommitdiff
path: root/CHANGELOG_UNRELEASED.md
diff options
context:
space:
mode:
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
-rw-r--r--CHANGELOG_UNRELEASED.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index 4b264e4..81f1d27 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -431,6 +431,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
- in `mxpoly.v`, we deprecate `scalar_mx_comm`, and advise to use
`comm_mxC` instead (with maximal implicit arguments `R` and `n`).
+- in `ssrnat.v`, we remove the compatibility module `mc_1_9`.
+
### Infrastructure
### Misc