From 2dd133f9178ae285d3939f29479b4acd9dad394d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sat, 25 Sep 2021 11:47:59 +0200
Subject: Update the vendored Flocq library to version 3.4.2

For compatibility with the upcoming Coq 8.14.
---
 Changelog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index aa57a554..d3a4cc4b 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,7 @@
+Coq development:
+- Updated the Flocq library to version 3.4.2.
+
+
 Release 3.9, 2021-05-10
 =======================
 
-- 
cgit