[Bug web/45655] GCC WIki Needs Text Colorizing Capability

[fche at redhat dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45655



--- Comment #7 from Frank Ch. Eigler <fche at redhat dot com> 2013-04-18 
18:44:30 UTC ---

Added ThomasSchwinge, StevenBosscher, TobiasBurnus to the gcc wiki admins.