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

[dgoulet at torproject.org]

commit 5bcf87c224978970256af56a16d0ac676ac24a25
Merge: 4b599aaae 82a3161c4
Author: David Goulet <dgoulet at torproject.org>
Date:   Wed Apr 24 09:45:32 2019 -0400

    Merge branch 'tor-github/pr/955'

 changes/ticket30176                     | 4 ++++
 src/lib/smartlist_core/smartlist_core.c | 2 ++
 src/test/test_containers.c              | 4 ++++
 3 files changed, 10 insertions(+)