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

commit ff9aa32143849c69097000290b939f14c9bbcb36 Merge: 0a86f14ad 6d9e47702 Author: David Goulet dgoulet@torproject.org Date: Tue May 28 14:59:07 2019 -0400

Merge branch 'tor-github/pr/1047'

changes/ticket30519 | 4 ++++ scripts/test/cov-test-determinism.sh | 3 +++ src/lib/log/log.h | 6 ++++++ src/lib/wallclock/timeval.h | 21 +++++++++++++++++++++ src/test/include.am | 7 +++++++ 5 files changed, 41 insertions(+)