[tor-bugs] #13541 [Tor]: Fix minor typos, a line length, and a repeated include

[Tor Bug Tracker & Wiki]

#13541: Fix minor typos, a line length, and a repeated include
------------------------+------------------------------
     Reporter:  teor    |      Owner:
         Type:  defect  |     Status:  closed
     Priority:  minor   |  Milestone:
    Component:  Tor     |    Version:  Tor: unspecified
   Resolution:  fixed   |   Keywords:
Actual Points:          |  Parent ID:
       Points:          |
------------------------+------------------------------
Changes (by nickm):

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


Comment:

 merged!

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