From 054c1215a47fa9a67ee71d1fc8a30e9545bac06f Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 2 Dec 2019 14:00:22 +0000
Subject: [PATCH] paket: Update to version 5.238.2

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

diff --git a/bucket/paket.json b/bucket/paket.json
index de7fff9cb4..5b27db13c0 100644
--- a/bucket/paket.json
+++ b/bucket/paket.json
@@ -1,10 +1,10 @@
 {
-    "version": "5.238.1",
+    "version": "5.238.2",
     "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.238.1/paket.exe",
-    "hash": "dccd2a2c5f54c8b9099e2de7f208399f56891cb26a468dfa151a7156763b7521",
+    "url": "https://github.com/fsprojects/Paket/releases/download/5.238.2/paket.exe",
+    "hash": "cf811380218ebd61b9d9ee60322e347b4a9e4b35cc41c336b2d609da0207dac7",
     "bin": "paket.exe",
     "checkver": {
         "github": "https://github.com/fsprojects/Paket"