Merge branch 'tor-github/pr/1740'

This commit is contained in:
David Goulet
2020-02-18 08:46:52 -05:00
2 changed files with 75 additions and 0 deletions
+3
View File
@@ -0,0 +1,3 @@
o Minor feature (developer tools):
- Add a script to help check the alphabetical ordering of option
names in a manpage. Closes ticket 33339.