Merge branch 'maint-0.4.2'
commit39bb283fca95648aeb58d9e8927de6e1530c6015
authorNick Mathewson <nickm@torproject.org>
Thu, 5 Dec 2019 18:32:40 +0000 (5 13:32 -0500)
committerNick Mathewson <nickm@torproject.org>
Thu, 5 Dec 2019 18:32:40 +0000 (5 13:32 -0500)
treecc2bbc64ebbfe98ab4dc75e3e295969781e2026e
parent37d1ee554da5db5a4e13ecdac3cc91e07656f27d
parent0a33522b6268ca8936df37dab4ed622e0ff5507b
Merge branch 'maint-0.4.2'

"ours" to avoid version bump.