#4318: change hellais username to art, or make an alias
-------------------------+--------------------------------------------------
Reporter: arma | Owner: weasel
Type: enhancement | Status: new
Priority: normal | Milestone:
Component: Company | Version:
Keywords: | Parent:
Points: | Actualpoints:
-------------------------+--------------------------------------------------
Turns out Arturo wanted to be an art all along. I screwed up in picking
the username for him.
If we can rename, great. If we can't, let's make an alias.
Thanks!
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/4318>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs
