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

[redi at gcc dot gnu.org]

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

             Bug #: 53257
           Summary: GCC wiki takes a very, very long time to save a page
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: web
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: r...@gcc.gnu.org


See thread beginning at http://gcc.gnu.org/ml/gcc/2012-04/msg00521.html and in
particular the response at http://gcc.gnu.org/ml/gcc/2012-04/msg00677.html
which identifies the problem and proposes a solution