Merge remote-tracking branch 'tor-github/pr/1463'

2024-12-06 19:41:15 +01:00 · 2019-10-25 10:27:41 +10:00
parent c00602cc34 fcdb66acd3
commit b3d035d5c4
2 changed files with 266 additions and 0 deletions
@@ -0,0 +1,5 @@
+  o Minor features (developer tools):
+    - Add a rename_c_identifiers.py tool to rename a bunch of C
+      identifiers at once, and generate a well-formed commit message
+      describing the change. This should help with refactoring. Closes
+      ticket 32237.