[tor-bugs] #8258 [Stem]: Port DocTor

[Tor Bug Tracker & Wiki]

#8258: Port DocTor
-----------------------------+--------------------
     Reporter:  atagar       |      Owner:  atagar
         Type:  enhancement  |     Status:  new
     Priority:  minor        |  Milestone:
    Component:  Stem         |    Version:
   Resolution:               |   Keywords:
Actual Points:               |  Parent ID:  #8252
       Points:               |
-----------------------------+--------------------

Comment (by atagar):

 This project [https://gitweb.torproject.org/atagar/tor-utils.git/ is
 done]. Related the three items that we're waiting on to get this deployed.
 At present nothing's in my court so let me know if you think there's
 something for me to do on this front.

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