From 3866c66c7210c22e6e6a65ec1122150607de6333 Mon Sep 17 00:00:00 2001
From: Romain Ruetschi <romain@informal.systems>
Date: Tue, 26 Mar 2024 16:06:07 +0100
Subject: [PATCH] Release v0.2.3

---
 CHANGELOG.md | 4 +++-
 Cargo.toml   | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

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"