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

[nickm at torproject.org]

commit 01f1dae8b5ff3058d18dfa5d12c521df9dacca9d
Merge: 42ad04439 78a72f819
Author: Nick Mathewson <nickm at torproject.org>
Date:   Wed May 6 16:47:03 2020 -0400

    Merge branch 'maint-0.3.5' into release-0.3.5

 configure.ac                        | 16 ++++++++++++++++
 src/core/proto/proto_socks.c        |  5 ++++-
 src/ext/ed25519/donna/ed25519_tor.c |  4 +++-
 src/feature/dirauth/keypin.c        |  2 +-
 src/feature/relay/dns.c             |  2 +-
 src/lib/cc/compat_compiler.h        |  6 ++++++
 src/lib/crypt_ops/crypto_digest.c   |  2 +-
 src/lib/net/address.c               |  1 +
 8 files changed, 33 insertions(+), 5 deletions(-)