From 9a0c3bd8efab2c6dc91e3b6b6d3e417865ede7ab Mon Sep 17 00:00:00 2001
From: Florian Moser <git@famoser.ch>
Date: Wed, 15 Nov 2023 21:38:46 +0100
Subject: [PATCH] release: Bump package version

---
 CONTRIBUTE.md     | 2 +-
 package-lock.json | 4 ++--
 package.json      | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/CONTRIBUTE.md b/CONTRIBUTE.md
index 11d9f6c..c891daa 100644
--- a/CONTRIBUTE.md
+++ b/CONTRIBUTE.md
@@ -48,7 +48,7 @@ Lastly, the language server waits for the user to click on an identifier, and th
 ## Publish
 
 Process:
-- Bump versions in affected `package.json` (including `server` and `client`).
+- Bump versions in affected `package.json` (optionally in `server` and `client` too), and run `npm install`.
 - Commit and push to GitHub.
 - Create a tag on GitHub.
 - [automatic] CI publishes extension to https://marketplace.visualstudio.com/vscode and https://open-vsx.org/
diff --git a/package-lock.json b/package-lock.json
index d53e45c..2fe419f 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "vscode-proverif",
-	"version": "1.2.2",
+	"version": "1.2.3",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "vscode-proverif",
-			"version": "1.2.2",
+			"version": "1.2.3",
 			"hasInstallScript": true,
 			"license": "MIT",
 			"devDependencies": {
diff --git a/package.json b/package.json
index 9d07c9c..4b613fd 100644
--- a/package.json
+++ b/package.json
@@ -5,7 +5,7 @@
 	"author": "ProVerif",
 	"icon": "img/icon.png",
 	"license": "MIT",
-	"version": "1.2.2",
+	"version": "1.2.3",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/ProVerif/vscode-proverif-language-service"