Public Git Hosting - tor.git/commit

commit	9c9214f2c9f4e9511a2e09238e1cc90d81ae02de
author	Nick Mathewson <nickm@torproject.org>
	Tue, 12 Mar 2019 15:03:37 +0000 (12 11:03 -0400)
committer	Nick Mathewson <nickm@torproject.org>
	Tue, 12 Mar 2019 15:03:37 +0000 (12 11:03 -0400)
tree	9e0709fc47d564f4646777ad534cba33812d8733	tree \| snapshot (tar.gz zip)
parent	a9c84bfd358799dc2dbe805ff6db4a6ca184ef0b	commit \| diff
parent	dfc3e552a3b7617add0bd576a5c34dca59f42649	commit \| diff

Merge remote-tracking branch 'tor-github/pr/776' into maint-0.4.0

The Onion Router

src/feature/dirauth/shared_random.c	diff1 \|	\|	blob \| history
src/feature/dirauth/shared_random.h	diff1 \|	\|	blob \| history
src/feature/dirauth/shared_random_state.c	diff1 \|	\|	blob \| history
src/feature/dirauth/shared_random_state.h	diff1 \|	\|	blob \| history
src/test/test_shared_random.c	diff1 \|	diff2 \|	blob \| history