[tor-bugs] #13707 [Tor]: Typo in manpage at PredictedPortsRelevanceTime

[Tor Bug Tracker & Wiki]

#13707: Typo in manpage at PredictedPortsRelevanceTime
-------------------------+--------------------
     Reporter:  qbi      |      Owner:
         Type:  defect   |     Status:  closed
     Priority:  trivial  |  Milestone:
    Component:  Tor      |    Version:
   Resolution:  fixed    |   Keywords:
Actual Points:           |  Parent ID:
       Points:           |
-------------------------+--------------------
Changes (by nickm):

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


Comment:

 merged; thanks!

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