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

[teor at torproject.org]

commit 1f3bf10d3f4e59cbf858ff5ee6f398d990cc15c7
Merge: 8f6dc54e3 4d70e725d
Author: teor <teor at torproject.org>
Date:   Thu Nov 7 10:51:22 2019 +1000

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

 changes/ticket32407              |  4 ++++
 src/core/mainloop/mainloop.c     |  4 ++++
 src/lib/evloop/compat_libevent.c | 10 ++++++++++
 src/lib/evloop/compat_libevent.h |  3 +++
 4 files changed, 21 insertions(+)