From a4f81c1d128c5a77f47d37c6fe069186c128a37d Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 8 Sep 2009 15:44:11 +0000
Subject: [PATCH] remove a ToDo that is Done

---
 ghc.mk |    1 -
 1 file changed, 1 deletion(-)

diff --git a/ghc.mk b/ghc.mk
index 0b43ea1..a98c922 100644
--- 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:
 #
-- 
1.7.10.4