From 77fdac357992f4a9e09f205997804b2fc2f98b7f Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Wed, 9 Dec 2020 14:28:15 -0800
Subject: [PATCH] install-node: Upgrade Node.js to 14.15.1 and nvm to 0.37.2.

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

diff --git a/scripts/lib/install-node b/scripts/lib/install-node
index d2124cc06b..9002667805 100755
--- a/scripts/lib/install-node
+++ b/scripts/lib/install-node
@@ -4,9 +4,9 @@ set -eo pipefail
 ZULIP_PATH="$(dirname "$0")/../.."
 ZULIP_SRV="/srv"
 YARN_PACKAGE_JSON="$ZULIP_SRV/zulip-yarn/package.json"
-node_version=12.19.0
+node_version=14.15.1
 yarn_version=1.22.10
-nvm_version=0.35.3
+nvm_version=0.37.2
 
 # This is a fix for the fact that nvm uses $HOME to determine which
 # user account's home directory to ~/.config to.  Ideally, we'd have a
diff --git a/version.py b/version.py
index 914b7b239a..4c50f38fa0 100644
--- a/version.py
+++ b/version.py
@@ -43,4 +43,4 @@ API_FEATURE_LEVEL = 35
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = '117.0'
+PROVISION_VERSION = '117.1'