19 Dec
2009
19 Dec
'09
1:16 p.m.
On Fri, Dec 18, 2009 at 04:33:56PM -0500, Gwern Branwen wrote:
So with a potentially long wait until the next major release (that is, not the quick fixes for X11/GHC), does anyone mind if I were to make these header changes?
As I've said already, please don't change the module headers. If sim is broken, fix sim. Cheers, Spencer Janssen