From 8da8ae6184190ff1557ffeeb8f276f53ce2f25a7 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 16 Dec 2019 19:00:33 +0000
Subject: [PATCH] pulumi: Update to version 1.7.1

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

diff --git a/bucket/pulumi.json b/bucket/pulumi.json
index 30731deac0..5e2b38cf4d 100644
--- a/bucket/pulumi.json
+++ b/bucket/pulumi.json
@@ -1,12 +1,12 @@
 {
-    "version": "1.7.0",
+    "version": "1.7.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.7.0-windows-x64.zip",
-            "hash": "7ed61f29d4ec21f610452802a64d40b7eaafe3a81e0dfaa87142e3b416d2daf2"
+            "url": "https://get.pulumi.com/releases/sdk/pulumi-v1.7.1-windows-x64.zip",
+            "hash": "51365aa31485456aa5a27fae8617b7eabde1df57eec54af7759cb44d9dfb4a39"
         }
     },
     "extract_dir": "Pulumi\\bin",