From 48ca41b54fe315ca2efcee5f8dd8ee3fb33a7de1 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@inria.fr>
Date: Thu, 21 Mar 2024 10:15:18 +0100
Subject: [PATCH] Release v2.3

---
 CHANGELOG.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d257203..f64ae25 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## [v2.3] — 2024-03-21
+
+### Added
+
+  - Explicit support for mathcomp 1.19 and Coq 8.19
+
 ## [2.2] — 2023-11-21
 
 ### Added