Merge pull request #151 from clarus/prepare-2.3.0-release

Update the changelog for the 2.3.0 release
formal-land · Nov 3, 2020 · 0ff782d · 0ff782d
2 parents fd59aed + b86957c
commit 0ff782d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,6 @@
 ## [Unreleased]
+
+## 2.3.0 (November 3, 2020)
 * Add support for the OCaml's monadic notation.
 * Add support for records with polymorphic fields.
 * Add the attribute `@coq_cast` to force an unsafe cast of a sub-expression.