From 5e89a7d6461f7ca099a03b5e000b5ce900212290 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulipchat.com>
Date: Mon, 11 Nov 2019 14:43:52 -0800
Subject: [PATCH] install-shellcheck: Upgrade ShellCheck from 0.6.0 to 0.7.0.

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

diff --git a/tools/setup/install-shellcheck b/tools/setup/install-shellcheck
index 8769607f77..e9bfee9376 100755
--- a/tools/setup/install-shellcheck
+++ b/tools/setup/install-shellcheck
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 set -eu
 
-version=0.6.0
+version=0.7.0
 
 if ! out="$(shellcheck --version 2>/dev/null)" || [[ "$out" != *"
 version: $version
diff --git a/version.py b/version.py
index 4ab2af5cfd..a0bee063c6 100644
--- a/version.py
+++ b/version.py
@@ -26,4 +26,4 @@ LATEST_RELEASE_ANNOUNCEMENT = "https://blog.zulip.org/2019/03/01/zulip-2-0-relea
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = '65.2'
+PROVISION_VERSION = '65.3'