From 839461a63a67e5673bd98fe9d73634e16d22bf7d Mon Sep 17 00:00:00 2001 From: Luke Lau Date: Wed, 5 Aug 2020 14:53:16 +0100 Subject: [PATCH] Bring in doc URL fix for Windows Cherry-pick of the ghcide commits in https://github.com/digital-asset/ghcide/pull/721/files Co-authored-by: Nick Dunets --- .gitmodules | 4 ++-- ghcide | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) 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