From d3d03cc862dcada3c5773231b507332c0e397d40 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Tue, 26 Nov 2019 14:00:18 +0000
Subject: [PATCH] paket: Update to version 5.238.1

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

diff --git a/bucket/paket.json b/bucket/paket.json
index 9588bc75ba..de7fff9cb4 100644
--- a/bucket/paket.json
+++ b/bucket/paket.json
@@ -1,10 +1,10 @@
 {
-    "version": "5.237.7",
+    "version": "5.238.1",
     "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.237.7/paket.exe",
-    "hash": "28194f2bd91b5fa2cfbf2a6aff880b381c1637637ab80b8a46b85f5623eae0ca",
+    "url": "https://github.com/fsprojects/Paket/releases/download/5.238.1/paket.exe",
+    "hash": "dccd2a2c5f54c8b9099e2de7f208399f56891cb26a468dfa151a7156763b7521",
     "bin": "paket.exe",
     "checkver": {
         "github": "https://github.com/fsprojects/Paket"