Skip to content

Commit

Permalink
fixed version number in NEWS
Browse files Browse the repository at this point in the history
  • Loading branch information
Armin Biere committed Jan 7, 2025
1 parent 04e4273 commit 3ff42f0
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion NEWS.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
Version 2.1.1
Version 2.1.2
-------------

- Fixed version number.

- Reentrant multi-threaded writing of compressed files fixed
with 'closeform' (using 'pipe|fork|exec|closefrom') on Linux.

Expand Down

0 comments on commit 3ff42f0

Please sign in to comment.