The mailing list is back to operational conditions! Thanks, and well done, sourceware.org! :-)