[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