From 5dd75ff599bc12a1f366fe1021d97b3515eef258 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Thu, 7 Nov 2019 07:22:54 -0500
Subject: [PATCH] Mark statistics as broken due to ghc/ghc#17448

---
 ci/config.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/config.sh b/ci/config.sh
index 0b808cc0..72eff591 100644
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -54,6 +54,7 @@ case $version in
     #       package             ticket
     broken "http2"              16288
     broken "unicode-transforms" 16288
+    broken "statistics"         16288
     ;;
 
   8.9.*)
-- 
GitLab