[tor-bugs] #9381 [Tor]: couldn't dump microdescriptor

[Tor Bug Tracker & Wiki]

#9381: couldn't dump microdescriptor
---------------------------+---------------------------------
     Reporter:  badadim    |      Owner:
         Type:  task       |     Status:  closed
     Priority:  minor      |  Milestone:
    Component:  Tor        |    Version:  Tor: 0.2.4.12-alpha
   Resolution:  duplicate  |   Keywords:  pluggable
Actual Points:             |  Parent ID:
       Points:             |
---------------------------+---------------------------------
Changes (by nickm):

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


Comment:

 I'm fairly sure we've done a new PT bundle in the last 7 months.

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