Revert "Use bullet as separator instead of HR"

alanz · alanz · commit d5aecedd21fe · 2020-06-06T11:00:02.000+01:00
In rendering documentation for hover.
diff --git a/ghcide b/ghcide
@@ -1 +1 @@
-Subproject commit 024d4ec94dea2380cdeee6958ab7c49cff846d12
+Subproject commit 3ee692a4cdb98792c371765c9f8adb5237d0a515
