From 5f507a2616fa7d786b08e1ffba2424f81ea31095 Mon Sep 17 00:00:00 2001 From: Alan Zimmerman Date: Sat, 21 Mar 2020 11:24:44 +0000 Subject: [PATCH] Bump ghcide --- ghcide | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghcide b/ghcide index 7ecdd21874..209be0b162 160000 --- a/ghcide +++ b/ghcide @@ -1 +1 @@ -Subproject commit 7ecdd21874e1b9c638502c47d61facd3be581c65 +Subproject commit 209be0b162bd80f9b0f62c5c1e93a6ed65b89b61