
12 Nov
2010
12 Nov
'10
10:07 a.m.
On Fri, 12 Nov 2010 08:38:24 +0000, Simon Peyton-Jones
Good point. I've done this. (Ian, could you merge)
Thank you very much for this! I was afraid to see so much code broken as well as Michael. Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr