Make the non-threaded-RTS threadDelay wait at least as long as asked
authorIan Lynagh <igloo@earth.li>
Tue, 28 Nov 2006 21:05:16 +0000 (21:05 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 28 Nov 2006 21:05:16 +0000 (21:05 +0000)

No differences found