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

Mon Jan 11 18:03:05 UTC 2016

#18031: The repository browser still uses ARM name
----------------------------+---------------------
 Reporter:  cypherpunks     |          Owner:  qbi
     Type:  defect          |         Status:  new
 Priority:  Low             |      Milestone:
Component:  Service - trac  |        Version:
 Severity:  Minor           |     Resolution:
 Keywords:                  |  Actual Points:
Parent ID:                  |         Points:
  Sponsor:                  |
----------------------------+---------------------

Comment (by atagar):

 Interesting, wasn't even aware that was a thing. Tried updating it in the
 admin dashboard but seems it requires followup commands on the host.
 Unfortunately trying to update it removed the option to drop the entry
 entirely so guess I'll need help from someone administering the host.

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