remove a ToDo that is Done

diff --git a/ghc.mk b/ghc.mk
index 0b43ea1..a98c922 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -34,7 +34,6 @@
 # Tickets we can now close, or fix and close:
 #
 #   * 1693 make distclean
-#   * 3173 make install with DESTDIR
 
 # Possible cleanups:
 #