diff --git a/CHANGELOG.md b/CHANGELOG.md index e37bce6..b305f0d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -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)) diff --git a/Cargo.toml b/Cargo.toml index 7f715d0..d9cb65f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "itf" -version = "0.2.2" +version = "0.2.3" edition = "2021" license = "Apache-2.0" readme = "README.md"