From 83df6d4713f3fa9171bc35206e02b3549d730c44 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 5 Aug 2019 07:00:27 +0000
Subject: [PATCH] docker: Update to version 19.03.1

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

diff --git a/bucket/docker.json b/bucket/docker.json
index 3125b79b46..e993f2422a 100644
--- a/bucket/docker.json
+++ b/bucket/docker.json
@@ -1,10 +1,10 @@
 {
-    "version": "18.09.3",
+    "version": "19.03.1",
     "license": "Apache-2.0",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/docker/toolbox/releases/download/v18.09.3/DockerToolbox-18.09.3.exe",
-            "hash": "0c01536269a362c9c0689f6b4a21eb5b862de3eebc6dce1244c0ef96240c10a3"
+            "url": "https://github.com/docker/toolbox/releases/download/v19.03.1/DockerToolbox-19.03.1.exe",
+            "hash": "bf39c167f1c2bfc18651c5ebcbc2deb044119dc527f49f3b0c1012c4fe8e9768"
         }
     },
     "homepage": "https://docker.com",