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

[dgoulet at torproject.org]

commit ff9aa32143849c69097000290b939f14c9bbcb36
Merge: 0a86f14ad 6d9e47702
Author: David Goulet <dgoulet at 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(+)