[tor-bugs] #7117 [Tor]: One of our code-checking tools should make sure that we don't add more reserved identifiers

Tor Bug Tracker & Wiki torproject-admin at torproject.org
Mon Oct 15 15:23:28 UTC 2012


#7117: One of our code-checking tools should make sure that we don't add more
reserved identifiers
-------------------------+--------------------------------------------------
 Reporter:  nickm        |          Owner:                  
     Type:  enhancement  |         Status:  new             
 Priority:  minor        |      Milestone:  Tor: unspecified
Component:  Tor          |        Version:                  
 Keywords:  tor-client   |         Parent:                  
   Points:               |   Actualpoints:                  
-------------------------+--------------------------------------------------
 Now that #1031 is closed, we should make sure we don't add any more
 reserved identifiers.  We could expand 'make check-spaces' to solve that,
 or start using another lint-ish tool, or something else.

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


More information about the tor-bugs mailing list