Re: Heads-up: new parallel I/O manager merged
17 Feb
2013
17 Feb
'13
3:23 a.m.
Yes, it should. Here's the combined patch that just succeded in being built. Bill On Sat, Feb 16, 2013 at 11:26 AM, Andreas Voellmy <andreas.voellmy@gmail.com
wrote:
in rts/ThrIOManager.hs
Sorry, this should have been rts/win32/ThrIOManager.c.
4903
Age (days ago)
4903
Last active (days ago)
0 comments
1 participants
participants (1)
-
Bill Tutt