From d83c91526b3a1dedd21a07d62e72c19315dbf886 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Mon, 5 Jul 2021 14:07:35 -0700
Subject: [PATCH] install-node: Upgrade Node.js from 14.17.0 to 14.17.3.

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 cbfcede3a5..a8cd6cefee 100755
--- a/scripts/lib/install-node
+++ b/scripts/lib/install-node
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 set -eo pipefail
 
-node_version=14.17.0
+node_version=14.17.3
 nvm_version=0.38.0
 
 # This is a fix for the fact that nvm uses $HOME to determine which
diff --git a/version.py b/version.py
index ef7c65ae68..2d8ba33ded 100644
--- a/version.py
+++ b/version.py
@@ -48,4 +48,4 @@ API_FEATURE_LEVEL = 75
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = "151.1"
+PROVISION_VERSION = "151.2"