diff --git a/CHANGELOG.md b/CHANGELOG.md
index f382a1da7..da33eb1ee 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## UNRELEASED
 
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.21.2 -- 2024-09-09
+
 ### Added
 
 - In the `verify` command, add warning if `--out-itf` option contains `{test}` or `{seq}` as those have no effect since Apalache only produces a single trace (#1485)
diff --git a/quint/package-lock.json b/quint/package-lock.json
index 6b974e15c..cf71de6eb 100644
--- a/quint/package-lock.json
+++ b/quint/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.21.1",
+  "version": "0.21.2",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint",
-      "version": "0.21.1",
+      "version": "0.21.2",
       "license": "Apache 2.0",
       "dependencies": {
         "@grpc/grpc-js": "^1.11.1",
diff --git a/quint/package.json b/quint/package.json
index a7a539e43..f383dee7e 100644
--- a/quint/package.json
+++ b/quint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.21.1",
+  "version": "0.21.2",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",
diff --git a/quint/src/version.ts b/quint/src/version.ts
index 5cb53fcc2..890846de9 100644
--- a/quint/src/version.ts
+++ b/quint/src/version.ts
@@ -1,2 +1,2 @@
 // Generated by genversion.
-export const version = '0.21.1'
+export const version = '0.21.2'