From 2c056ef913d0d136b651e5b82900d8a11c1a86d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 26 May 2021 21:22:11 +0200
Subject: [PATCH] Update date in CHANGES.md for release.

---
 CHANGES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index d592806..bd4365f 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,6 @@
 # Changes
 
-## 2020/MM/DD
+## 2020/10/12
 
 * In principle, when the parameter `check_iterator_validity` is `true`, a
   concurrent modification (that is, a modification of an ephemeral sequence
-- 
GitLab