GNU mailing list update
There was a delay in delivering GNU mailing list mail over the last several days, but the problems have been fixed. Normal delivery is resuming. There will be some delay as the server works through its backlog, but we do not expect any mail to be lost. Thanks to everyone for their patience.