From fc05f940104a0a895fd59512dba87aa3d4260053 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julian=20R=C3=BCth?= <julian.rueth@fsfe.org>
Date: Sat, 30 Dec 2023 21:02:23 -0600
Subject: [PATCH] Updated CHANGELOG for 3.13.5

---
 ChangeLog            | 9 +++++++++
 doc/news/flint23.rst | 3 ---
 2 files changed, 9 insertions(+), 3 deletions(-)
 delete mode 100644 doc/news/flint23.rst

diff --git a/ChangeLog b/ChangeLog
index 186dbe006..fbe26af76 100644
--- 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
deleted file mode 100644
index 972a4cfa0..000000000
--- a/doc/news/flint23.rst
+++ /dev/null
@@ -1,3 +0,0 @@
-**Added:**
-
-* Added compatibility with FLINT 3.