It appears there are some problems with emails to gcc.gnu.org lists not 
reaching the lists - for example, I received a personal copy of the 
attached message but it did not reach the mailing list.  Could someone 
look into what happened with this message?

-- 
Joseph S. Myers
joseph@codesourcery.com