From ee48dc6d33b5af220b11362485ce74cdc566e7cc Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Tue, 8 Jun 2021 15:59:05 -0700
Subject: [PATCH] install-shellcheck: Upgrade ShellCheck from 0.7.1 to 0.7.2.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 tools/setup/install-shellcheck | 6 +++---
 version.py                     | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/tools/setup/install-shellcheck b/tools/setup/install-shellcheck
index 2939fdd0c6..528598b273 100755
--- a/tools/setup/install-shellcheck
+++ b/tools/setup/install-shellcheck
@@ -1,12 +1,12 @@
 #!/usr/bin/env bash
 set -eu
 
-version=0.7.1
+version=0.7.2
 arch="$(uname -m)"
 tarball="shellcheck-v$version.linux.$arch.tar.xz"
 declare -A sha256=(
-    [aarch64]=b50cc31509b354ab5bbfc160bc0967567ed98cd9308fd43f38551b36cccc4446
-    [x86_64]=64f17152d96d7ec261ad3086ed42d18232fcb65148b44571b564d688269d36c8
+    [aarch64]=a12bdfe0f95811ad6c0a091006b919b2834b0619b460cfa596f557edd62e45ab
+    [x86_64]=70423609f27b504d6c0c47e340f33652aea975e45f312324f2dbf91c95a3b188
 )
 
 check_version() {
diff --git a/version.py b/version.py
index ac795a24d5..58852ffdfe 100644
--- a/version.py
+++ b/version.py
@@ -48,4 +48,4 @@ API_FEATURE_LEVEL = 74
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = "150.0"
+PROVISION_VERSION = "150.1"