From 83571f07bd5b102c1ae420cf10d4ab5876d6ac2e Mon Sep 17 00:00:00 2001
From: jneira <atreyu.bbb@gmail.com>
Date: Tue, 8 Sep 2020 09:55:36 +0200
Subject: [PATCH] Restore ghcide ref

---
 ghcide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghcide b/ghcide
index 078e3d3c0d3..96cf8c53d0b 160000
--- a/ghcide
+++ b/ghcide
@@ -1 +1 @@
-Subproject commit 078e3d3c0d319f83841ccbcdc60ff5f0e243f6be
+Subproject commit 96cf8c53d0bdc16d3d2cd0559b74962593ce6dc5