[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1393' into maint-0.4.2

[nickm at torproject.org]

commit eebd2d44a1f45366f372a0ece2a851912607e0a2
Merge: a4790e7d4 fdfb4b196
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon Oct 14 15:55:13 2019 -0400

    Merge remote-tracking branch 'tor-github/pr/1393' into maint-0.4.2

 changes/ticket31841             |  5 +++
 src/lib/net/resolve.c           | 29 +++++++-------
 src/lib/net/resolve.h           | 15 ++++++++
 src/test/include.am             |  2 +
 src/test/resolve_test_helpers.c | 85 +++++++++++++++++++++++++++++++++++++++++
 src/test/resolve_test_helpers.h | 18 +++++++++
 src/test/test_addr.c            |  6 ++-
 src/test/test_config.c          |  4 ++
 src/test/test_hs_config.c       |  8 ++--
 src/test/test_options.c         |  3 ++
 10 files changed, 155 insertions(+), 20 deletions(-)