Re: [GHC] #3843: Merge plugins into HEAD

2011-08-04 Thread GHC
#3843: Merge plugins into HEAD ---+ Reporter: dreixel | Owner: Type: task | Status: closed Priority: high | Milestone: 7.2.1 C

Re: [GHC] #3843: Merge plugins into HEAD

2011-08-04 Thread GHC
#3843: Merge plugins into HEAD ---+ Reporter: dreixel | Owner: Type: task | Status: patch Priority: high | Milestone: 7.2.1 C

Re: [GHC] #3843: Merge plugins into HEAD

2011-08-04 Thread GHC
#3843: Merge plugins into HEAD ---+ Reporter: dreixel | Owner: Type: task | Status: new Priority: high | Milestone: 7.2.1 C

Re: [GHC] #3843: Merge plugins into HEAD

2011-08-02 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: merge Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-08-02 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: merge Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-31 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: merge Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-29 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: merge Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-28 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: patch Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-28 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: patch Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-28 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: patch Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-27 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: patch Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-18 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: patch Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-18 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: patch Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-08 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: patch Priority: high |Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-07 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-07 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-07 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-07 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-06 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-04 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-04 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-03 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-03 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-03 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-01 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-01 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-07-01 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-30 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-30 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-30 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-29 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-29 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-29 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-17 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-16 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-06-16 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-04-16 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-04-16 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-04-15 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.2.1

Re: [GHC] #3843: Merge plugins into HEAD

2011-02-10 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2011-02-10 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2011-02-09 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2011-02-04 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2011-02-03 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2011-02-03 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2011-01-26 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2011-01-21 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.2

Re: [GHC] #3843: Merge plugins into HEAD

2010-11-29 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.1

Re: [GHC] #3843: Merge plugins into HEAD

2010-11-19 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.1

Re: [GHC] #3843: Merge plugins into HEAD

2010-10-05 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.1

Re: [GHC] #3843: Merge plugins into HEAD

2010-02-14 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 6.14.1

Re: [GHC] #3843: Merge plugins into HEAD

2010-01-28 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone:

Re: [GHC] #3843: Merge plugins into HEAD

2010-01-28 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone:

Re: [GHC] #3843: Merge plugins into HEAD

2010-01-28 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone:

Re: [GHC] #3843: Merge plugins into HEAD

2010-01-27 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone:

Re: [GHC] #3843: Merge plugins into HEAD

2010-01-27 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone:

Re: [GHC] #3843: Merge plugins into HEAD

2010-01-27 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone:

Re: [GHC] #3843: Merge plugins into HEAD

2010-01-27 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel | Owner: simonpj Type: merge | Status: new Priority: normal| Component: Compiler

[GHC] #3843: Merge plugins into HEAD

2010-01-27 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel | Owner: simonpj Type: merge | Status: new Priority: normal| Component: Compiler