[tor-bugs] #1031 [Tor]: reserved identifier violation

[Tor Bug Tracker & Wiki]

#1031: reserved identifier violation
----------------------------+-----------------------------------------------
    Reporter:  elfring      |       Owner:  nickm             
        Type:  enhancement  |      Status:  closed            
    Priority:  normal       |   Milestone:  Tor: 0.2.4.x-final
   Component:  Tor          |     Version:  0.2.2.6-alpha     
  Resolution:  fixed        |    Keywords:  tor-relay         
      Parent:               |      Points:                    
Actualpoints:               |  
----------------------------+-----------------------------------------------
Changes (by nickm):

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


Comment:

 Andrea liked it; merging it.  Added #7117 to track the suggestion of
 making sure we don't add any more bogus identifiers.

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