diff --git a/CHANGES.md b/CHANGES.md index 7a36b75d33..e9068d8ccc 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,4 +1,4 @@ -## current +## v3.1.0 (2021-02-21) - Remove dependency to base (@samoht #745) - fix opam files and dependencies