From 73ecdf87c4424057a8a1a43c9135cc3b857ba900 Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Thu, 6 Oct 2022 09:30:28 +0100 Subject: [PATCH] GCH -> GHC --- docs/support/index.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/support/index.rst b/docs/support/index.rst index db48f91789..1005e51b24 100644 --- a/docs/support/index.rst +++ b/docs/support/index.rst @@ -1,4 +1,4 @@ -GCH and Plugin Support +GHC and Plugin Support ====================== .. toctree::