From 985206b5bf1406444576d1b9af7d61524e37f2e5 Mon Sep 17 00:00:00 2001
From: Uwe Hoffmann <534011+uwedeportivo@users.noreply.github.com>
Date: Wed, 12 Feb 2020 15:50:09 -0800
Subject: [PATCH] Update latest release to 3.12.7

---
 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 82d20d0..136bde2 100644
--- a/resources/user-data.sh
+++ b/resources/user-data.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-export SOURCEGRAPH_VERSION=3.12.4
+export SOURCEGRAPH_VERSION=3.12.7
 export USER_HOME=/root
 export SOURCEGRAPH_CONFIG=/etc/sourcegraph
 export SOURCEGRAPH_DATA=/var/opt/sourcegraph