[tor-bugs] #13712 [Website]: link to new tor-win32 zip from download page

[Tor Bug Tracker & Wiki]

#13712: link to new tor-win32 zip from download page
---------------------+---------------------------
 Reporter:  arma     |          Owner:  Sebastian
     Type:  defect   |         Status:  new
 Priority:  normal   |      Milestone:
Component:  Website  |        Version:
 Keywords:           |  Actual Points:
Parent ID:           |         Points:
---------------------+---------------------------
 https://dist.torproject.org/torbrowser/4.0.1/ has a
 https://dist.torproject.org/torbrowser/4.0.1/tor-win32-tor-0.2.5.10.zip

 This should be our new Windows Tor expert package.

 But I think we need to do a bit of wml magic to get it to automatically
 link correctly.

 Worst case is another tag in versions.wmi that Mike or somebody needs to
 update each time (and will periodically forget to update, breaking the
 link). Better case would be to some up with a way for the link to stay
 accurate automatically as Tor Browser gets a new version.

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