From 0114d4ef92e534a61cbecbcc5aa72988ba29c345 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Bour?= <fred@tarides.com>
Date: Thu, 16 Dec 2021 10:43:40 +0100
Subject: [PATCH] Update CHANGES

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

diff --git a/CHANGES.md b/CHANGES.md
index e0dcc15..55e6553 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,9 +1,10 @@
-v0.13 Wed Dec 15 15:39:31 CET 2021
+v0.13 Thu Dec 16 10:43:05 CET 2021
 --------------------------
 
 Fastdom: implementation of a dominance algorithm.
 Fix various bugs in Valmari DFA minimizer.
 Get rid of "PCG" unused code.
+Doubledouble: disable FMADD to strictly stick to 64-bits precision.
 
 v0.12 Tue Mar 30 12:03:05 CEST 2021
 --------------------------