[Project_owners] Download server problem?

[David Boswell]

> Yes, I did. It seems to be the problem that some of the mirror
> servers are not (always) working ?

some mirrors sometimes do go out of sync.  when that happens pete pulls
them from rotation and can add them back later.  he pulled one a few
days ago, but i'm not aware of others that are not updating.  posting
to the mirrors at mozdev.org list though will probably give you a better
answer than i can give you :)

david