[tor-commits] [tor/release-0.4.2] Merge branch 'maint-0.4.2' into release-0.4.2

[nickm at torproject.org]

commit 21180862e07d38ed03a5f13b1f51ee13dacd40ef
Merge: 71e72ce9c bbfc498e2
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon May 4 10:25:52 2020 -0400

    Merge branch 'maint-0.4.2' into release-0.4.2

 changes/bug34077                          | 3 +++
 src/feature/dirauth/shared_random_state.c | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)