[tor-commits] [tor/release-0.3.5] Merge remote-tracking branch 'tor-github/pr/510' into maint-0.2.9

[teor at torproject.org]

commit eaa84234c97e54d2626239152a35bcd633c10107
Merge: 9daae1b30 2fbc58cf0
Author: teor <teor at torproject.org>
Date:   Thu Mar 14 06:36:11 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/510' into maint-0.2.9

 changes/bug28096    | 13 ++++++++
 src/common/compat.c | 95 ++++++++++++++++++++++++++++++++++++-----------------
 2 files changed, 77 insertions(+), 31 deletions(-)