From 64d1d3541a9e62b3678a4ee3ba22ecadce2d9c01 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 1 Dec 2023 17:54:43 +0000
Subject: [PATCH] Bump typescript from 5.2.2 to 5.3.2 in /client

Bumps [typescript](https://github.com/Microsoft/TypeScript) from 5.2.2 to 5.3.2.
- [Release notes](https://github.com/Microsoft/TypeScript/releases)
- [Commits](https://github.com/Microsoft/TypeScript/compare/v5.2.2...v5.3.2)

---
updated-dependencies:
- dependency-name: typescript
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 client/package-lock.json | 14 +++++++-------
 client/package.json      |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/client/package-lock.json b/client/package-lock.json
index 5b4b8fc0..deb6b187 100644
--- a/client/package-lock.json
+++ b/client/package-lock.json
@@ -26,7 +26,7 @@
         "rimraf": "^5.0.5",
         "tmp": "^0.2.1",
         "ts-loader": "^9.5.0",
-        "typescript": "^5.2.2",
+        "typescript": "^5.3.2",
         "vs-verification-toolbox": "git+https://github.com/viperproject/vs-verification-toolbox.git",
         "vscode-languageclient": "^6.1.3",
         "vscode-uri": "^3.0.8",
@@ -6604,9 +6604,9 @@
       }
     },
     "node_modules/typescript": {
-      "version": "5.2.2",
-      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.2.2.tgz",
-      "integrity": "sha512-mI4WrpHsbCIcwT9cF4FZvr80QUeKvsUsUvKDoR+X/7XHQH98xYD8YHZg7ANtz2GtZt/CBq2QJ0thkGJMHfqc1w==",
+      "version": "5.3.2",
+      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.3.2.tgz",
+      "integrity": "sha512-6l+RyNy7oAHDfxC4FzSJcz9vnjTKxrLpDG5M2Vu4SHRVNg6xzqZp6LYSR9zjqQTu8DU/f5xwxUdADOkbrIX2gQ==",
       "dev": true,
       "bin": {
         "tsc": "bin/tsc",
@@ -12217,9 +12217,9 @@
       }
     },
     "typescript": {
-      "version": "5.2.2",
-      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.2.2.tgz",
-      "integrity": "sha512-mI4WrpHsbCIcwT9cF4FZvr80QUeKvsUsUvKDoR+X/7XHQH98xYD8YHZg7ANtz2GtZt/CBq2QJ0thkGJMHfqc1w==",
+      "version": "5.3.2",
+      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.3.2.tgz",
+      "integrity": "sha512-6l+RyNy7oAHDfxC4FzSJcz9vnjTKxrLpDG5M2Vu4SHRVNg6xzqZp6LYSR9zjqQTu8DU/f5xwxUdADOkbrIX2gQ==",
       "dev": true
     },
     "uc.micro": {
diff --git a/client/package.json b/client/package.json
index 19c95dfa..ddff0af4 100644
--- a/client/package.json
+++ b/client/package.json
@@ -50,7 +50,7 @@
     "rimraf": "^5.0.5",
     "tmp": "^0.2.1",
     "ts-loader": "^9.5.0",
-    "typescript": "^5.2.2",
+    "typescript": "^5.3.2",
     "vs-verification-toolbox": "git+https://github.com/viperproject/vs-verification-toolbox.git",
     "vscode-languageclient": "^6.1.3",
     "vscode-uri": "^3.0.8",