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