Skip to content

Commit

Permalink
Release v0.2.3 (#16)
Browse files Browse the repository at this point in the history
  • Loading branch information
romac authored Mar 26, 2024
2 parents f849c4e + 3866c66 commit 40cbf6a
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
4 changes: 3 additions & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
# CHANGELOG

## Unreleased
## v0.2.3

*March 25th, 2024*

- Compatibility with Quint v0.19.0
- Deserialize empty tuple as unit ([#15](https://github.com/informalsystems/itf-rs/pull/15))
Expand Down
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "itf"
version = "0.2.2"
version = "0.2.3"
edition = "2021"
license = "Apache-2.0"
readme = "README.md"
Expand Down

0 comments on commit 40cbf6a

Please sign in to comment.