On 13 May 2017 at 12:50, Jonathan Wakely wrote: > On 13 May 2017 at 05:34, Jeffrey Walton wrote: >> The GCC bugzilla is timing out, so I'm having trouble searching it. > > Bugzilla searches are working fine for me, even ones returning > hundreds of results. I must have got lucky, and you were unlucky, because it's been getting very slow for the last two days for me.