summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ghc.mk1
1 files changed, 0 insertions, 1 deletions
diff --git a/ghc.mk b/ghc.mk
index 2bea8290e8..c6e0b58ec9 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -51,7 +51,6 @@
#
# Tickets we can now close, or fix and close:
#
-# * 2966 make sure --with-gcc does the right thing (#2966)
# * 1693 make distclean
# * 3173 make install with DESTDIR