From 600e4ee41c098f15f61056cdd39f60ee0310e16e Mon Sep 17 00:00:00 2001 From: Beyang Liu Date: Thu, 9 Jan 2020 16:50:03 -0800 Subject: [PATCH] Update latest release to 3.11.4 --- 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 cf95f0d..0755fc5 100644 --- a/resources/user-data.sh +++ b/resources/user-data.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -export SOURCEGRAPH_VERSION=3.11.0 +export SOURCEGRAPH_VERSION=3.11.4 export USER_HOME=/root export SOURCEGRAPH_CONFIG=/etc/sourcegraph export SOURCEGRAPH_DATA=/var/opt/sourcegraph