From f9505e3fe02c6a54052f4f928b08ca61f59e37bb Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 2 May 2024 18:06:34 +0200
Subject: [PATCH] [changes] Update changelog to reflect backports.

---
 CHANGES.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 7d47d396..11858660 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,11 +1,14 @@
-## Version 0.19.2
+## Version 0.19.3
 
  - [test] Don't require math-comp to run genarg tests (@ejgallego, #399 ,
           fixes #395 , thanks to @SnarkBoojum for the report)
+ - [serlib] Support `micromega_core` plugin (@ejgallego)
+
+## Version 0.19.2
+
  - [serlib] Fix CPrimitives Serialization (@ejgallego, #398, fixes
             #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and
             @Nfsaavedra for the bug report)
- - [serlib] Support `micromega_core` plugin (@ejgallego)
 
 ## Version 0.19.1