From 4c057f6ebb0b66dde91b77ab2a7239fca29bf604 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Fri, 27 Mar 2020 23:01:52 +0000
Subject: [PATCH] pulumi: Update to version 1.13.1

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

diff --git a/bucket/pulumi.json b/bucket/pulumi.json
index a9a061fde4..1c87a2cd98 100644
--- a/bucket/pulumi.json
+++ b/bucket/pulumi.json
@@ -1,12 +1,12 @@
 {
-    "version": "1.13.0",
+    "version": "1.13.1",
     "description": "Create, deploy, and manage infrastructure on any cloud using any language.",
     "homepage": "https://www.pulumi.com",
     "license": "Apache-2.0",
     "architecture": {
         "64bit": {
-            "url": "https://get.pulumi.com/releases/sdk/pulumi-v1.13.0-windows-x64.zip",
-            "hash": "79cd54631ee69848e2881fcd69944bbc3b58715f65f3a0516a0c3b2da8b5d69f"
+            "url": "https://get.pulumi.com/releases/sdk/pulumi-v1.13.1-windows-x64.zip",
+            "hash": "06a46b8dda6e3f262ec0809310e2c410023c01fe7dcd1590f85686443b189cf8"
         }
     },
     "extract_dir": "Pulumi\\bin",