remove a todo item (bug #2966 is fixed)

diff --git a/ghc.mk b/ghc.mk
index 2bea829..c6e0b58 100644 (file)
--- 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