9 Feb
2009
9 Feb
'09
7:53 a.m.
Am Montag, 29. Dezember 2008 12:54 schrieb Simon Peyton-Jones:
What a great bug -- I would never have predicted it, but in retrospect it makes perfect sense. Record selectors had better get fixed.
Can I read somewhere about what caused this bug? What is its trac URL? Best wishes, Wolfgang