tor/changes/ticket32237

  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.
Add a script to rename C identifiers, and optionally add a commit message This script should "pay for itself" if it prevents one bug caused by careless search-replace-commit loops. 2019-10-23 19:26:08 +02:00			`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.`