[tor-bugs] #9880 [Tor]: Possible race closing bad_for_new_circs channels, others

[Tor Bug Tracker & Wiki]

#9880: Possible race closing bad_for_new_circs channels, others
------------------------+--------------------------------
     Reporter:  nickm   |      Owner:
         Type:  defect  |     Status:  closed
     Priority:  major   |  Milestone:  Tor: 0.2.4.x-final
    Component:  Tor     |    Version:
   Resolution:  fixed   |   Keywords:  tor-relay channels
Actual Points:          |  Parent ID:
       Points:          |
------------------------+--------------------------------
Changes (by nickm):

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


Comment:

 Merged to 0.2.4 and master.

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