Fix +RTS -G1 (by deleting code, yay!) (#5026)
authorSimon Marlow <marlowsd@gmail.com>
Tue, 24 May 2011 13:28:46 +0000 (14:28 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 24 May 2011 14:25:42 +0000 (15:25 +0100)

No differences found