From 9b243f2d93ed9d797b8064d54c863863980c1b2b Mon Sep 17 00:00:00 2001
From: Armin Biere <armin.biere@gmail.com>
Date: Mon, 3 Jun 2024 08:11:09 +0200
Subject: [PATCH] merged

---
 NEWS.md | 3 ++-
 VERSION | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/NEWS.md b/NEWS.md
index 8d6506b..4a9f176 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -1,6 +1,7 @@
-## Version 1.9.19-rc
+## Version 1.9.19
 
   - Added '.xz' reading and writing support.
+  - Fixed ITE extraction issue.
 
 ## Version 1.9.18
 
diff --git a/VERSION b/VERSION
index 068a4ea..88b883e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.9.19-dev.1
+1.9.19