all: merge master into gopls-release-branch.0.4

Change-Id: Icf1ae4d1f86ca3b24481d4755d511e82c5f9e609
diff --git a/gopls/go.mod b/gopls/go.mod
index 12d68af..9868ad5 100644
--- a/gopls/go.mod
+++ b/gopls/go.mod
@@ -4,7 +4,7 @@
 
 require (
 	github.com/sergi/go-diff v1.1.0
-	golang.org/x/tools v0.0.0-20191130070609-6e064ea0cf2d
+	golang.org/x/tools v0.0.0-20200406211959-b2e691980a9d
 	honnef.co/go/tools v0.0.1-2020.1.3
 	mvdan.cc/xurls/v2 v2.1.0
 )
diff --git a/internal/lsp/debug/info.go b/internal/lsp/debug/info.go
index 8baf1d9..2f1149c 100644
--- a/internal/lsp/debug/info.go
+++ b/internal/lsp/debug/info.go
@@ -23,7 +23,7 @@
 )
 
 // Version is a manually-updated mechanism for tracking versions.
-var Version = "master"
+var Version = "0.4.0"
 
 // PrintServerInfo writes HTML debug info to w for the Instance.
 func (i *Instance) PrintServerInfo(ctx context.Context, w io.Writer) {