[tor-bugs] #4513 [Website]: android file name changed in versions.wmi

[Tor Bug Tracker & Wiki]

#4513: android file name changed in versions.wmi
---------------------+------------------------------------------------------
 Reporter:  phobos   |          Owner:  phobos
     Type:  defect   |         Status:  new   
 Priority:  normal   |      Milestone:        
Component:  Website  |        Version:        
 Keywords:           |         Parent:        
   Points:           |   Actualpoints:        
---------------------+------------------------------------------------------

Comment(by phobos):

 this is a temporary fix until #4512 can be implemented.

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