commit b3d035d5c4ebe55a6793d80ade47e67ca514d4fd Merge: c00602cc3 fcdb66acd Author: teor <t...@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(+) _______________________________________________ tor-commits mailing list tor-commits@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits