Re: [GHC] #2613: configure should summarize important results at the end of its run

#2613: configure should summarize important results at the end of its run -+-- Reporter: claus |Owner: Type: feature request | Status: closed Priority:

Re: [GHC] #2613: configure should summarize important results at the end of its run

#2613: configure should summarize important results at the end of its run -+-- Reporter: claus |Owner: Type: feature request | Status: closed Priority:

Re: [GHC] #2613: configure should summarize important results at the end of its run

#2613: configure should summarize important results at the end of its run -+-- Reporter: claus| Owner: Type: feature request | Status: new Priority: normal

Re: [GHC] #2613: configure should summarize important results at the end of its run

#2613: configure should summarize important results at the end of its run +--- Reporter: claus|Owner: Type: feature request | Status: new Priority: normal |

[GHC] #2613: configure should summarize important results at the end of its run

#2613: configure should summarize important results at the end of its run +--- Reporter: claus| Owner: Type: feature request | Status: new Priority: normal