Hi, for the record, today I started an rsync to get a local copy of the repository and, at variance with the information in:
http://gcc.gnu.org/rsync.html the size I'm seeing is already > 17G, and counting... If somebody knows the total size and wants to update the web page, I think it would be a nice idea, otherwise I will take care of that... when it finishes... ;) Paolo.
