Release v0.22.3

Author: bugarela

CHANGELOG.md

@@ -12,35 +12,43 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Deprecated
 ### Removed
 ### Fixed
-
-- Fixed a problem where using `--mbt` resulted in missing data on `nondet_picks`
-  due to internal caching (#1531)
-- Hashbang lines are now properly highlighted as comments in vscode and in highlight.js.
-
 ### Security
 
-## v0.22.2 -- 2024-10-08
+## v0.22.3 -- 2024-10-28
 
 ### Added
 
-- `quint verify` has the option `--apalache-version` to pull a custom version (#1521)
-- Grammar updated with support for an optional leading hashbang (`#!`) line (#1522)
 - Added a new operator called `getOnlyElement()` to extract elements out of singleton sets (#1525)
 
-
 ### Changed
 
 - Updated grammar rule to allow an optional trailing comma in parameter lists (#1510):
-
   - Operator calls
   - Constant initialization
   - Operator definitions
-  
+
 ### Deprecated
 ### Removed
 ### Fixed
 
 - The seed was not being properly printed when the simulator found some runtime errors (#1524).
+- Fixed a problem where using `--mbt` resulted in missing data on `nondet_picks`
+  due to internal caching (#1531)
+- Hashbang lines are now properly highlighted as comments in vscode and in highlight.js.
+
+### Security
+
+## v0.22.2 -- 2024-10-08
+
+### Added
+
+- `quint verify` has the option `--apalache-version` to pull a custom version (#1521)
+- Grammar updated with support for an optional leading hashbang (`#!`) line (#1522)
+
+### Changed
+### Deprecated
+### Removed
+### Fixed
 
 ### Security
 

quint/package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.22.2",
+  "version": "0.22.3",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",

quint/package.json

@@ -1,2 +1,2 @@
 // Generated by genversion.
-export const version = '0.22.2'
+export const version = '0.22.3'