[tor-bugs] #12954 [Website]: Need more space for Tor dist files (e.g. split www and dist?)

[Tor Bug Tracker & Wiki]

#12954: Need more space for Tor dist files (e.g. split www and dist?)
-------------------------+--------------------
     Reporter:  arma     |      Owner:
         Type:  defect   |     Status:  closed
     Priority:  normal   |  Milestone:
    Component:  Website  |    Version:
   Resolution:  fixed    |   Keywords:
Actual Points:           |  Parent ID:  #4234
       Points:           |
-------------------------+--------------------
Changes (by mikeperry):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 Ok, it sounds like all the mirrors should be all set then. Vescum is now
 the smallest, which is where we tend to sync from, so we should notice if
 it runs out before we try to push it.

 Calling this closed.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/12954#comment:8>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online