From 2439aeef56a83446bdbbf4bc806a68a2f6b37c5e Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 1 Apr 2024 10:34:16 -0300 Subject: [PATCH] Release v0.19.1 --- CHANGELOG.md | 9 +++++++++ quint/package-lock.json | 4 ++-- quint/package.json | 2 +- quint/src/version.ts | 2 +- 4 files changed, 13 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 770a048c9..a34d5305a 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.19.1 -- 2024-04-01 + ### Added ### Changed ### Deprecated diff --git a/quint/package-lock.json b/quint/package-lock.json index e0a90bc42..7585f9ed7 100644 --- a/quint/package-lock.json +++ b/quint/package-lock.json @@ -1,12 +1,12 @@ { "name": "@informalsystems/quint", - "version": "0.19.0", + "version": "0.19.1", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "@informalsystems/quint", - "version": "0.19.0", + "version": "0.19.1", "license": "Apache 2.0", "dependencies": { "@grpc/grpc-js": "^1.8.14", diff --git a/quint/package.json b/quint/package.json index c998fee87..118b36ce6 100644 --- a/quint/package.json +++ b/quint/package.json @@ -1,6 +1,6 @@ { "name": "@informalsystems/quint", - "version": "0.19.0", + "version": "0.19.1", "description": "Core tool for the Quint specification language", "keywords": [ "temporal", diff --git a/quint/src/version.ts b/quint/src/version.ts index 808e70727..b49c84d06 100644 --- a/quint/src/version.ts +++ b/quint/src/version.ts @@ -1,2 +1,2 @@ // Generated by genversion. -export const version = '0.19.0' +export const version = '0.19.1'