Merge pull request #68 from rzk-lang/release-installation-fix

Bump version and update changelog
rzk-lang · Dec 7, 2023 · 1486c24 · 1486c24
2 parents 54eb77e + e2fd4be
commit 1486c24
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,10 @@ All notable changes to the "rzk-1-experimental-highlighting" extension will be d
 
 Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how to structure this file.
 
+## v0.4.4 - 2023-12-06
+
+- Fixed a regression that caused first-time installations to fail
+
 ## v0.4.3 - 2023-11-02
 
 - Check for updates to Rzk periodically (hourly for now) instead of just on launch ([#53](https://github.com/rzk-lang/vscode-rzk/pull/53)).

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -3,7 +3,7 @@
   "displayName": "Rzk",
   "description": "Interactive theorem proving support in VS Code for Rzk, a proof assistant for synthetic ∞-categories",
   "icon": "images/icon.png",
-  "version": "0.4.3",
+  "version": "0.4.4",
   "repository": "https://github.com/rzk-lang/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",