Updated CHANGELOG for 3.13.5

flatsurf · Dec 31, 2023 · fc05f94 · fc05f94
1 parent 59986e9
commit fc05f94
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -4,6 +4,15 @@ intervalxt Change Log
 
 .. current developments
 
+v3.13.5
+====================
+
+**Added:**
+
+* Added compatibility with FLINT 3.
+
+
+
 v3.13.4
 ====================
 

diff --git a/doc/news/flint23.rst b/doc/news/flint23.rst