Re: [commit: ghc] master: Revert "Per-thread allocation counters and limits" (f0fcc41)

On 05/13/14 10:06 AM, Peter Trommler wrote:

Hi Karel,

This issue is ticket #9055, which also contains a patch. Could we please merge it?

I'm the second petitioner for the merge of your fix! Thanks a lot for pointing this out and providing the patch! Cheers, Karel