[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):

 done

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