Switch back to ghcide master

alanz · alanz · commit 0b4b6ef34704 · 2020-03-19T18:33:31.000Z
diff --git a/.gitmodules b/.gitmodules
@@ -10,5 +10,5 @@
 #     rm -rf path_to_submodule
 [submodule "ghcide"]
 	path = ghcide
-	# url = https://github.com/digital-asset/ghcide.git
-	url = https://github.com/alanz/ghcide.git
+	url = https://github.com/digital-asset/ghcide.git
+	# url = https://github.com/alanz/ghcide.git
diff --git a/ghcide b/ghcide
@@ -1 +1 @@
-Subproject commit a5c95baa54f6c8d2cdd3910fa10efae533c1e0ff
+Subproject commit 7ecdd21874e1b9c638502c47d61facd3be581c65
