From fbde2a5c90a9129b5ca6af08892959c8b3ac7a82 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20=C4=8C=C3=A1bera?= <cabera.jakub@gmail.com>
Date: Tue, 23 Jun 2020 08:58:33 +0200
Subject: [PATCH] paket: Update to version 5.247.3

---
 bucket/paket.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/paket.json b/bucket/paket.json
index 730f0bfdea..3fd672fc49 100644
--- a/bucket/paket.json
+++ b/bucket/paket.json
@@ -1,10 +1,10 @@
 {
-    "version": "5.247.2",
+    "version": "5.247.3",
     "description": "Dependency manager for .NET with support for NuGet and Git repositories",
     "homepage": "https://fsprojects.github.io/Paket/",
     "license": "MIT",
-    "url": "https://github.com/fsprojects/Paket/releases/download/5.247.2/paket.exe",
-    "hash": "876fe2786ea91edf122e7e1419281567d7cd0d9858cb99168d8d1c08d9e12181",
+    "url": "https://github.com/fsprojects/Paket/releases/download/5.247.3/paket.exe",
+    "hash": "db0e83cd7d3209cb8f08966203ef2acd86bff6a47bef42aa681228077da04bee",
     "bin": "paket.exe",
     "checkver": {
         "github": "https://github.com/fsprojects/Paket"