From 111b1e1290428050b46600499c3cd7b954750318 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Thu, 15 Jun 2023 12:55:41 -0400 Subject: [PATCH] Release v0.11.2 --- 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 7eeed9cf3..6d8b55c6b 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.11.2 -- 2023-06-15 + ### Added ### Changed diff --git a/quint/package-lock.json b/quint/package-lock.json index 196f99748..682490923 100644 --- a/quint/package-lock.json +++ b/quint/package-lock.json @@ -1,12 +1,12 @@ { "name": "@informalsystems/quint", - "version": "0.11.1", + "version": "0.11.2", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "@informalsystems/quint", - "version": "0.11.1", + "version": "0.11.2", "license": "Apache 2.0", "dependencies": { "@grpc/grpc-js": "^1.8.14", diff --git a/quint/package.json b/quint/package.json index d5b066e3b..e760bc40e 100644 --- a/quint/package.json +++ b/quint/package.json @@ -1,6 +1,6 @@ { "name": "@informalsystems/quint", - "version": "0.11.1", + "version": "0.11.2", "description": "Core tool for the Quint specification language", "keywords": [ "temporal", diff --git a/quint/src/version.ts b/quint/src/version.ts index b50fa4cf9..9b9b21f5c 100644 --- a/quint/src/version.ts +++ b/quint/src/version.ts @@ -1,2 +1,2 @@ // Generated by genversion. -export const version = '0.11.1' +export const version = '0.11.2'