On 16/08/17 18:38, Joseph Myers wrote:
> On Wed, 16 Aug 2017, Eric Gallager wrote:
>> I see Richi redid all his 7.2 release changes; does that imply that
>> the server restore is now complete?
>
> No, there's still a search process ongoing to identify corrupted or
> missing files by comparison wi
On 15/08/17 04:10, Martin Sebor wrote:
> On 08/14/2017 04:22 PM, Eric Gallager wrote:
>> I'm emailing this manually to the list because Bugzilla is down and I
>> can't file a bug on Bugzilla about Bugzilla being down. The error
>> message looks like this:
>
> Bugzilla and the rest of gcc.gnu.org h
