23 May
2016
23 May
'16
11:24 p.m.
Simon Peyton Jones <simonpj@microsoft.com> writes:
| Indeed I'm also seeing this. I will revert the compression patch.
OK. When do you plan to do that?
Oh dear, I thought I had already done so but it seems the push failed. Done now. Sorry for the delay! Cheers, - Ben