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

[dgoulet at torproject.org]

commit 59c3910becd912a18ee8e7a74c966045e7a51c80
Merge: d259194c8 a036c0187
Author: David Goulet <dgoulet at torproject.org>
Date:   Wed Feb 20 12:15:26 2019 -0500

    Merge branch 'tor-github/pr/695'

 changes/ticket29435                  |  3 +++
 changes/ticket29436                  |  4 +++
 scripts/test/cov-diff                |  3 +--
 scripts/test/cov-test-determinism.sh | 48 ++++++++++++++++++++++++++++++++++++
 scripts/test/coverage                |  4 +--
 5 files changed, 58 insertions(+), 4 deletions(-)