commit be71cce9f851ef7ba3276fcd7f8e5bb7cc2968df Merge: 3313444ef d4b7975ce Author: teor teor@torproject.org Date: Thu Feb 28 10:48:46 2019 +1000

Merge remote-tracking branch 'tor-github/pr/731' into maint-0.3.3

src/test/test_shared_random.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-)