Merge pull request #150 from alanz/hover-hr

alanz · web-flow · commit 589602620950 · 2020-06-06T16:34:50.000+01:00
Revert "Use bullet as separator instead of HR"
diff --git a/ghcide b/ghcide
@@ -1 +1 @@
-Subproject commit 024d4ec94dea2380cdeee6958ab7c49cff846d12
+Subproject commit 3ee692a4cdb98792c371765c9f8adb5237d0a515
