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

["Tor Bug Tracker & Wiki" <torproject-admin@xxxxxxxxxxxxxx>]

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

 Things take a while to make it through the system.  If this still happens
 in say 30 minutes to an hour, let me know.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/4318#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs