diff options
| -rw-r--r-- | ghc.mk | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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 |
