[tor-commits] [tor/master] Merge branch 'bug34077_041' into bug34077_042

[nickm at torproject.org]

commit b4b1882da012697136d3ffd40f693b1f97964a5b
Merge: 2d34d4d1a d7e166bd9
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Apr 30 22:59:08 2020 -0400

    Merge branch 'bug34077_041' into bug34077_042

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