Wait a minute, is this the same bug as https://bugs.launchpad.net/ubuntu/+source/ghc6/+bug/263773 ? That one is marked as fix-released.
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=500407
Should this ticket be closed as fix-released or duplicate ?
Wait a minute, is this the same bug as https:/ /bugs.launchpad .net/ubuntu/ +source/ ghc6/+bug/ 263773 ? That one is marked as fix-released.
http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 500407
Should this ticket be closed as fix-released or duplicate ?