Size of the GCC repository

[Paolo Carlini]

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.