[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]

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

#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
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs