commit 5f44e1e5dc9a624d36e622bb943390f627b83867
Merge: 00a93b19c 955ca72f9
Author: Nick Mathewson <nickm at torproject.org>
Date: Thu Feb 21 13:25:02 2019 -0500
Merge branch 'maint-0.3.5' into maint-0.4.0
"ours" to avoid version bump.