[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