[Bug web/45785] Bugzilla search sometimes fails with an internal error

[zsojka at seznam dot cz]

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

--- Comment #6 from Zdenek Sojka <zsojka at seznam dot cz> 2010-10-27 10:48:13 
UTC ---
That is indeed much faster