]> git.ipfire.org Git - thirdparty/tor.git/commitdiff
Merge branch 'tor-github/pr/1794' into maint-0.4.3
authorDavid Goulet <dgoulet@torproject.org>
Thu, 26 Mar 2020 13:14:25 +0000 (09:14 -0400)
committerDavid Goulet <dgoulet@torproject.org>
Thu, 26 Mar 2020 13:14:25 +0000 (09:14 -0400)

Trivial merge