From 053d066a15ae317871d1ac657ccfb4dbb71594eb Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Sun, 1 Mar 2020 21:01:53 +0000
Subject: [PATCH] ddev: Update to version 1.13.1

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

diff --git a/bucket/ddev.json b/bucket/ddev.json
index ae7b07ff72..8231df9778 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.13.0",
+    "version": "1.13.1",
     "license": "Apache-2.0",
-    "url": "https://github.com/drud/ddev/releases/download/v1.13.0/ddev_windows.v1.13.0.zip",
-    "hash": "75acebe580dde846cd3d935ce3a48e53541e8215230dd52a7d3acfbcf84130ee",
+    "url": "https://github.com/drud/ddev/releases/download/v1.13.1/ddev_windows.v1.13.1.zip",
+    "hash": "7ffc1d8db45d6b98c2e83cd1a19df0e5ceb334a1db15f4d549783b4710363fa2",
     "bin": "ddev.exe",
     "suggest": {
         "docker": "docker-compose"