[Bug web/53257] GCC wiki takes a very, very long time to save a page

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |overseers at gcc dot
                   |                            |gnu.org

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-05-06 
17:54:43 UTC ---
Adding overseers@ to see what their input is.