From 8a9c3547a399432c14e209844b2497514b14e31d Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Thu, 27 Jun 2024 09:35:32 +0900
Subject: [PATCH] release

---
 changelog.txt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/changelog.txt b/changelog.txt
index af074db5..05cddac1 100644
--- a/changelog.txt
+++ b/changelog.txt
@@ -1,4 +1,9 @@
-removed RinvE' and RdivE' (replaced by RinvE and RdivE in mathcomp)
+-------------------
+from 0.7.1 to 0.7.2
+-------------------
+
+- removed RinvE' and RdivE' (replaced by RinvE and RdivE in mathcomp)
+- add the robust sub-directory
 
 -------------------
 from 0.7.0 to 0.7.1