Skip to content

Commit

Permalink
bumped minor version number
Browse files Browse the repository at this point in the history
  • Loading branch information
@arminbiere
arminbiere committed Jan 23, 2025
1 parent acbbba8 commit f7e5776
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion NEWS.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Version 4.0.1
Version 4.0.2
-------------

- support for setting printing prefix 'kissat_prefix'
Expand Down

0 comments on commit f7e5776

Please sign in to comment.