On Tue, May 11, 2010 at 01:12:45PM -0700, Alfred M. Szmidt wrote: > Not sure where to send this, who is responsible for the mail server > for gcc.gnu.org? The admins can be reached at overseers@gcc.gnu.org .