[tor-bugs] #3842 [Tor Client]: Missing signal/names option

[Tor Bug Tracker & Wiki]

#3842: Missing signal/names option
----------------------------+-----------------------------------------------
    Reporter:  atagar       |       Owner:  nickm             
        Type:  enhancement  |      Status:  closed            
    Priority:  minor        |   Milestone:  Tor: 0.2.4.x-final
   Component:  Tor Client   |     Version:                    
  Resolution:  implemented  |    Keywords:  easy controller   
      Parent:               |      Points:                    
Actualpoints:               |  
----------------------------+-----------------------------------------------
Changes (by nickm):

  * status:  needs_review => closed
  * resolution:  => implemented


Comment:

 Merged into master as a6169800f83101 .  Thanks!

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