From d5aecedd21feae99c64282088e141f0f83460a6e Mon Sep 17 00:00:00 2001
From: Alan Zimmerman <alan.zimm@gmail.com>
Date: Sat, 6 Jun 2020 11:00:02 +0100
Subject: [PATCH] Revert "Use bullet as separator instead of HR"

In rendering documentation for hover.
---
 ghcide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghcide b/ghcide
index 024d4ec94d..3ee692a4cd 160000
--- a/ghcide
+++ b/ghcide
@@ -1 +1 @@
-Subproject commit 024d4ec94dea2380cdeee6958ab7c49cff846d12
+Subproject commit 3ee692a4cdb98792c371765c9f8adb5237d0a515