merged

arminbiere · Jun 3, 2024 · 9b243f2 · 9b243f2
1 parent 58b5d09
commit 9b243f2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -1 +1 @@
-1.9.19-dev.1
+1.9.19