[tor-commits] [tor/master] Merge branch 'tor-github/pr/1261'

commit cdd7e889703fbc089780f446715b7b41ccbf688e Merge: 2591440fa 0127888b0 Author: George Kadianakis desnacked@riseup.net Date: Thu Sep 5 17:02:53 2019 +0300

Merge branch 'tor-github/pr/1261'

changes/bug27284 | 5 ++++ src/feature/dirparse/microdesc_parse.c | 11 +++++++ src/feature/nodelist/microdesc_st.h | 2 ++ src/feature/nodelist/nodelist.c | 3 +- src/test/test_microdesc.c | 52 +++++++++++++++++++++++++++++++++- 5 files changed, 70 insertions(+), 3 deletions(-)