[tor-commits] [tor/master] Merge branch 'tor-github/pr/1740'

[dgoulet at torproject.org]

commit f24959df1dded4a6ca7244dede90bd00af8aa4e0
Merge: f23182794 55f088bb2
Author: David Goulet <dgoulet at torproject.org>
Date:   Tue Feb 18 08:46:52 2020 -0500

    Merge branch 'tor-github/pr/1740'

 changes/ticket33339                |  3 ++
 scripts/maint/checkManpageAlpha.py | 72 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 75 insertions(+)