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

["Tor Bug Tracker & Wiki" <torproject-admin@xxxxxxxxxxxxxx>]

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

  * priority:  minor => normal
  * milestone:  => Tor: 0.2.2.x-final


Comment:

 Closed bug #1241 as a duplicate of this; apparently this is confusing
 users.

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