[tor-bugs] #8888 [GetTor]: GetTor at torproject.org alias not working

[Tor Bug Tracker & Wiki]

#8888: GetTor at torproject.org alias not working
--------------------------+-------------------------------------------------
    Reporter:  peter      |       Owner:        
        Type:  defect     |      Status:  closed
    Priority:  normal     |   Milestone:        
   Component:  GetTor     |     Version:        
  Resolution:  not a bug  |    Keywords:        
      Parent:             |      Points:        
Actualpoints:             |  
--------------------------+-------------------------------------------------

Comment(by peter):

 Replying to [comment:1 phobos]:
 > It doesn't work because that alias doesn't exist.
 gettor at gettor.torproject.org is the correct alias, as the documentation
 shows.

 I've sent mail to both addresses several times since 5/10/2013 with no
 response from either. Tried again this morning, so far no response.

 Both addresses were listed in different places on torproject.org:

 gettor @ torproject.org
 GetTor page
 (https://www.torproject.org/projects/gettor.html.en)

 gettor @ torproject.org
 Short user manual
 (https://www.torproject.org/dist/manual/short-user-manual_en.xhtml)

 gettor @ gettor.torproject.org
 Tor FAQ
 (https://www.torproject.org/docs/faq.html.en#GetTor).

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