From b3da022bdfd975195b99444518b1d3002a03fd0c Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Fri, 17 Jul 2020 18:23:18 -0700
Subject: [PATCH] install-node: Upgrade Node.js to 12.18.2.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 scripts/lib/install-node | 2 +-
 version.py               | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/lib/install-node b/scripts/lib/install-node
index 36e77e4304..d0829a724f 100755
--- a/scripts/lib/install-node
+++ b/scripts/lib/install-node
@@ -4,7 +4,7 @@ set -eo pipefail
 ZULIP_PATH="$(dirname "$0")/../.."
 ZULIP_SRV="/srv"
 YARN_PACKAGE_JSON="$ZULIP_SRV/zulip-yarn/package.json"
-node_version=12.18.0
+node_version=12.18.2
 yarn_version=1.22.4
 nvm_version=0.35.3
 
diff --git a/version.py b/version.py
index 5d74b32a5d..91e2a595be 100644
--- a/version.py
+++ b/version.py
@@ -44,4 +44,4 @@ API_FEATURE_LEVEL = 27
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = '90.0'
+PROVISION_VERSION = '90.1'