Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-11-04 Thread GHC
#7257: Regression: pinned memory fragmentation --+- Reporter: jwlato | Owner: simonmar Type: bug | Status: closed Priority: highest

Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-10-26 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato| Owner: simonmar Type: bug | Status: merge Priority: highest

Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-09-21 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato| Owner: simonmar Type: bug | Status: new Priority: highest

Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-09-21 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato| Owner: simonmar Type: bug | Status: new Priority: highest

Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-09-21 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato| Owner: simonmar Type: bug | Status: merge Priority: highest

Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-09-21 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato| Owner: simonmar Type: bug | Status: merge Priority: highest

[GHC] #7257: Regression: pinned memory fragmentation

2012-09-20 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-09-20 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7257: Regression: pinned memory fragmentation

2012-09-20 Thread GHC
#7257: Regression: pinned memory fragmentation -+-- Reporter: jwlato | Owner: Type: bug | Status: new Priority: normal