From d2dabe3d03fbd39138a025befe1bce110039b00f Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Wed, 5 Feb 2020 00:01:50 +0000
Subject: [PATCH] ddev: Update to version 1.13.0

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

diff --git a/bucket/ddev.json b/bucket/ddev.json
index 34fc690a34..ae7b07ff72 100644
--- a/bucket/ddev.json
+++ b/bucket/ddev.json
@@ -1,10 +1,10 @@
 {
     "homepage": "https://ddev.readthedocs.io/en/latest/",
     "description": "An open source tool that makes it simple to get local PHP development environments up and running in minutes",
-    "version": "1.12.2",
+    "version": "1.13.0",
     "license": "Apache-2.0",
-    "url": "https://github.com/drud/ddev/releases/download/v1.12.2/ddev_windows.v1.12.2.zip",
-    "hash": "612c1c47ce469021c8e2a19c2dea33c8a69a0b3f14ba9ebcf12c9e6c225ee021",
+    "url": "https://github.com/drud/ddev/releases/download/v1.13.0/ddev_windows.v1.13.0.zip",
+    "hash": "75acebe580dde846cd3d935ce3a48e53541e8215230dd52a7d3acfbcf84130ee",
     "bin": "ddev.exe",
     "suggest": {
         "docker": "docker-compose"