From abe6458ec7e39a34a26f82dc8c8e17f7ed439e9c Mon Sep 17 00:00:00 2001
From: Alan Zimmerman <alan.zimm@gmail.com>
Date: Mon, 25 May 2020 11:07:56 +0100
Subject: [PATCH] Bump to new mpickering/ghcide

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

diff --git a/ghcide b/ghcide
index 0db329a623..024d4ec94d 160000
--- a/ghcide
+++ b/ghcide
@@ -1 +1 @@
-Subproject commit 0db329a62375f086725571aa14e52f7b9f85ac3b
+Subproject commit 024d4ec94dea2380cdeee6958ab7c49cff846d12