On Thu, May 30, 2013 at 9:41 AM, Michael Witten <mfwit...@gmail.com> wrote:

> That wiki information should be incorporated into what that wiki page
> calls `the official installation docs', and the rest of it should
> probably be thrown out as superfluous.

I agree that information about GCC is randomly spread between the web
pages and the wiki.  How about creating a prototype web page that
merges the information and proposing it as a replacement?

Thanks, David

Reply via email to