Merge branch 'maint-0.2.4' into maint-0.2.5

"ours" merge to avoid version bump.
This commit is contained in:
Nick Mathewson 2017-06-08 09:28:11 -04:00
commit 77c5d8c738

Diff Content Not Available