Scott Kostyshak wrote: > Should this be reported to the server maintainer of that mirror?
I would not worry about that, one of our former .de mirrors did the same and if one day you incidentally sync empty archive to the official ftp you might be very thankful to have one mirror wihout the delete feature :) Pavel
