Bump version to 0.8.2

kind2-mc · Jul 20, 2023 · 437eb26 · 437eb26
1 parent 8f36347
commit 437eb26
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,6 @@
+### Version 0.8.2
+- Update kind2-language-server to v0.1.6 (includes fix)
+
 ### Version 0.8.1
 - Include kind2-language-server (missing in v0.8.0)
 

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -5,7 +5,7 @@
   "description": "Language support for Kind 2",
   "author": "The Kind 2 development team",
   "license": "MIT",
-  "version": "0.8.1",
+  "version": "0.8.2",
   "preview": true,
   "repository": {
     "type": "git",