Re: [GHC] #7514: Rename cmmz flags

2012-12-20 Thread GHC
#7514: Rename cmmz flags ---+ Reporter: thoughtpolice | Owner: simonpj Type: bug | Status: closed Priority: normal| Milestone:

Re: [GHC] #7514: Rename cmmz flags

2012-12-19 Thread GHC
#7514: Rename cmmz flags -+-- Reporter: thoughtpolice | Owner: simonpj Type: bug | Status: patch Priority: normal| Milestone:

Re: [GHC] #7514: Rename cmmz flags

2012-12-19 Thread GHC
#7514: Rename cmmz flags -+-- Reporter: thoughtpolice | Owner: Type: bug | Status: patch Priority: normal| Component: Compiler V

[GHC] #7514: Rename cmmz flags

2012-12-19 Thread GHC
#7514: Rename cmmz flags -+-- Reporter: thoughtpolice | Owner: Type: bug | Status: new Priority: normal| Component: Compiler V