[tor-bugs] #4318 [Company]: change hellais username to art, or make an alias

[Tor Bug Tracker & Wiki]

#4318: change hellais username to art, or make an alias
----------------------------+-----------------------------------------------
    Reporter:  arma         |       Owner:  weasel
        Type:  enhancement  |      Status:  closed
    Priority:  normal       |   Milestone:        
   Component:  Company      |     Version:        
  Resolution:  fixed        |    Keywords:        
      Parent:               |      Points:        
Actualpoints:               |  
----------------------------+-----------------------------------------------

Comment(by weasel):

 No.  It's an ldap user name which will get turned into virtual alias
 entries.
 and no.

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