From fd2791e2009044236a5e188b281bcc2f7c0ebe22 Mon Sep 17 00:00:00 2001
From: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Date: Wed, 16 Oct 2024 13:06:12 +0200
Subject: [PATCH] Update tools

---
 .config/dotnet-tools.json | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 4dbfc605554..b6cba414baa 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -5,37 +5,37 @@
       "commands": [
         "dotnet-counters"
       ],
-      "version": "8.0.460601"
+      "version": "8.0.547301"
     },
     "dotnet-dump": {
       "commands": [
         "dotnet-dump"
       ],
-      "version": "8.0.460601"
+      "version": "8.0.547301"
     },
     "dotnet-gcdump": {
       "commands": [
         "dotnet-gcdump"
       ],
-      "version": "8.0.460601"
+      "version": "8.0.547301"
     },
     "dotnet-sos": {
       "commands": [
         "dotnet-sos"
       ],
-      "version": "8.0.460601"
+      "version": "8.0.547301"
     },
     "dotnet-symbol": {
       "commands": [
         "dotnet-symbol"
       ],
-      "version": "1.0.460401"
+      "version": "8.0.547301"
     },
     "dotnet-trace": {
       "commands": [
         "dotnet-trace"
       ],
-      "version": "8.0.460601"
+      "version": "8.0.547301"
     },
     "fantomas": {
       "commands": [