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

[Tor Bug Tracker & Wiki]

#8888: gettor at gettor.torproject.org alias not working
------------------------+--------------------
     Reporter:  peter   |      Owner:
         Type:  defect  |     Status:  closed
     Priority:  normal  |  Milestone:
    Component:  GetTor  |    Version:
   Resolution:  fixed   |   Keywords:
Actual Points:          |  Parent ID:
       Points:          |
------------------------+--------------------
Changes (by lunar):

 * status:  reopened => closed
 * resolution:   => fixed


Comment:

 {{{
 <weasel> weasel at valiant:~$ ssh getulum.torproject.org dpkg -l python-dkim
 | tail -n1
 <weasel> ii  python-dkim                        0.5.3-1+deb7u1
 all          Python module for DKIM signing and verification
 }}}

 The fixed version has been deployed.

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