[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1463'

[teor@xxxxxxxxxxxxxx]

commit b3d035d5c4ebe55a6793d80ade47e67ca514d4fd
Merge: c00602cc3 fcdb66acd
Author: teor <teor@xxxxxxxxxxxxxx>
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@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits