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

[dgoulet@xxxxxxxxxxxxxx]

commit f24959df1dded4a6ca7244dede90bd00af8aa4e0
Merge: f23182794 55f088bb2
Author: David Goulet <dgoulet@xxxxxxxxxxxxxx>
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(+)

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits