https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66104
--- Comment #8 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think the server is using the standard subversion package from RHEL 6, not a local build.
joseph at codesourcery dot com Sat, 20 Jun 2015 15:38:34 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66104
--- Comment #8 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think the server is using the standard subversion package from RHEL 6, not a local build.