diff --git a/.gitmodules b/.gitmodules index 009698acba..839d96ebdc 100644 --- a/.gitmodules +++ b/.gitmodules @@ -12,6 +12,6 @@ path = ghcide # url = https://github.com/digital-asset/ghcide.git # url = https://github.com/alanz/ghcide.git - url = https://github.com/wz1000/ghcide.git + # url = https://github.com/wz1000/ghcide.git # url = https://github.com/fendor/ghcide.git - # url = https://github.com/bubba/ghcide.git + url = https://github.com/bubba/ghcide.git diff --git a/ghcide b/ghcide index b7de7ae894..530c327d50 160000 --- a/ghcide +++ b/ghcide @@ -1 +1 @@ -Subproject commit b7de7ae89469693b76d92ca433119d91d3a9aac0 +Subproject commit 530c327d50283a071d53476415d8df27cc1cae6f