From c6fccbdc3d24717cb0ab2b9cdd854ef3d2a2b6c2 Mon Sep 17 00:00:00 2001
From: Richard Webb <richard.webb@helpsystems.com>
Date: Sun, 29 Oct 2023 23:23:32 +0000
Subject: [PATCH] Update Paket to v7.2.1

  Updated with 'dotnet tool update paket'
---
 .config/dotnet-tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 0676c3046..98dc03bbd 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -9,7 +9,7 @@
       ]
     },
     "paket": {
-      "version": "5.252.0",
+      "version": "7.2.1",
       "commands": [
         "paket"
       ]