From 011dc163ef820b1f33528d88d665e207ea840569 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 22 Jun 2022 16:28:17 +0000
Subject: [PATCH] Bump Newtonsoft.Json from 10.0.3 to 13.0.1 in /tools/z3ssh

Bumps [Newtonsoft.Json](https://github.com/JamesNK/Newtonsoft.Json) from 10.0.3 to 13.0.1.
- [Release notes](https://github.com/JamesNK/Newtonsoft.Json/releases)
- [Commits](https://github.com/JamesNK/Newtonsoft.Json/compare/10.0.3...13.0.1)

---
updated-dependencies:
- dependency-name: Newtonsoft.Json
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 tools/z3ssh/packages.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/z3ssh/packages.config b/tools/z3ssh/packages.config
index c332ba7..6f34a11 100644
--- a/tools/z3ssh/packages.config
+++ b/tools/z3ssh/packages.config
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
 <packages>
-  <package id="Newtonsoft.Json" version="10.0.3" targetFramework="net452" />
+  <package id="Newtonsoft.Json" version="13.0.1" targetFramework="net452" />
 </packages>
\ No newline at end of file