[tor-commits] [tor/release-0.3.5] Merge branch 'maint-0.3.5' into release-0.3.5

[dgoulet at torproject.org]

commit 338ebb3821da6ef412f1b72cbe4fcefe06ef3434
Merge: 81a1d7eb8 1216f9953
Author: David Goulet <dgoulet at torproject.org>
Date:   Tue Feb 26 10:48:11 2019 -0500

    Merge branch 'maint-0.3.5' into release-0.3.5

 changes/ticket29435   | 3 +++
 scripts/test/coverage | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)