[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1463'
teor at torproject.org
teor at torproject.org
Fri Oct 25 00:28:04 UTC 2019
commit b3d035d5c4ebe55a6793d80ade47e67ca514d4fd
Merge: c00602cc3 fcdb66acd
Author: teor <teor at torproject.org>
Date: Fri Oct 25 10:27:41 2019 +1000
Merge remote-tracking branch 'tor-github/pr/1463'
changes/ticket32237 | 5 +
scripts/maint/rename_c_identifier.py | 261 +++++++++++++++++++++++++++++++++++
2 files changed, 266 insertions(+)
More information about the tor-commits
mailing list