From be0cf2f8b9258527137347b4f0b90904469531a5 Mon Sep 17 00:00:00 2001 From: Uwe Hoffmann <534011+uwedeportivo@users.noreply.github.com> Date: Tue, 14 Apr 2020 21:45:14 -0700 Subject: [PATCH] Update latest release to 3.14.3 --- resources/user-data.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/user-data.sh b/resources/user-data.sh index 6c2bcdd..3f5dbd6 100644 --- a/resources/user-data.sh +++ b/resources/user-data.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -export SOURCEGRAPH_VERSION=3.14.2 +export SOURCEGRAPH_VERSION=3.14.3 export USER_HOME=/root export SOURCEGRAPH_CONFIG=/etc/sourcegraph export SOURCEGRAPH_DATA=/var/opt/sourcegraph