
23 Jun
2016
23 Jun
'16
9:32 a.m.
It’d be great if you could. I’m about to commit a patch, but it doesn’t affect this much. (It’s just that getting the patch right made me fall into the swamp)
S
From: Richard Eisenberg [mailto:eir@cis.upenn.edu]
Sent: 23 June 2016 14:17
To: Simon Peyton Jones