Jay McCarthy fbea030c27 Fixing PR12443 ... There is a big comment in thread.rkt that explains the problem and the "fix". I think something better could and should be done, but I don't know what it is. original commit: 022ce2d8d7de60d63d21eb67119466283d9e8be3		2012-01-03 15:05:37 -07:00
collects	Fixing PR12443	2012-01-03 15:05:37 -07:00