From af69f8904e10fdf3dfbff2e178b7c2f1cfffcf96 Mon Sep 17 00:00:00 2001 From: jneira 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 078e3d3c0d..96cf8c53d0 160000 --- a/ghcide +++ b/ghcide @@ -1 +1 @@ -Subproject commit 078e3d3c0d319f83841ccbcdc60ff5f0e243f6be +Subproject commit 96cf8c53d0bdc16d3d2cd0559b74962593ce6dc5