Merge remote-tracking branch 'tor-github/pr/731' into maint-0.4.0
commit56f01e58b43176b439ade122aa38adcee73d24d5
authorNick Mathewson <nickm@torproject.org>
Wed, 27 Feb 2019 14:59:33 +0000 (27 09:59 -0500)
committerNick Mathewson <nickm@torproject.org>
Wed, 27 Feb 2019 14:59:33 +0000 (27 09:59 -0500)
treebeed0b2c0e71ef563f06fff624bb6791ace15ab1
parentef2925e742d35be6558c1223fd4718077138cca9
parentd4b7975ce70fc93671136445c95c2009408cfe70
Merge remote-tracking branch 'tor-github/pr/731' into maint-0.4.0
src/test/test_shared_random.c