[tor-bugs] #1384 [Tor - Tor client]: Document what happens if options are defined more than once

[Tor Bug Tracker & Wiki]

#1384: Document what happens if options are defined more than once
------------------------------+---------------------------------------------
 Reporter:  Sebastian         |       Owner:                    
     Type:  defect            |      Status:  needs_review      
 Priority:  normal            |   Milestone:  Tor: 0.2.2.x-final
Component:  Tor - Tor client  |     Version:                    
 Keywords:  Documentation     |      Parent:                    
------------------------------+---------------------------------------------

Comment(by Sebastian):

 yes, looks good. Sorry

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