[tor-bugs] #18031 [Internal Services/Service - trac]: The repository browser still uses ARM name

[Tor Bug Tracker & Wiki]

#18031: The repository browser still uses ARM name
----------------------------------------------+-------------------------
 Reporter:  cypherpunks                       |          Owner:  qbi
     Type:  defect                            |         Status:  closed
 Priority:  Low                               |      Milestone:
Component:  Internal Services/Service - trac  |        Version:
 Severity:  Minor                             |     Resolution:  invalid
 Keywords:                                    |  Actual Points:
Parent ID:                                    |         Points:
 Reviewer:                                    |        Sponsor:
----------------------------------------------+-------------------------
Changes (by qbi):

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


Comment:

 Repos aren't used anymore so this ticket can be closed.

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