[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/724'

commit 613c5ff3578bacde129701e370eca2afaaf914ff Merge: 064265086 4e6ba575a Author: teor <teor@torproject.org> Date: Tue Mar 26 19:31:17 2019 +1000 Merge remote-tracking branch 'tor-github/pr/724' changes/ticket29537 | 3 ++ configure.ac | 1 + src/lib/cc/torint.h | 9 ++++ src/test/include.am | 3 ++ src/test/ptr_helpers.c | 50 ++++++++++++++++++++++ src/test/ptr_helpers.h | 23 ++++++++++ src/test/test.h | 1 + src/test/test_ptr_slow.c | 106 +++++++++++++++++++++++++++++++++++++++++++++++ src/test/test_slow.c | 1 + 9 files changed, 197 insertions(+)