Merge branch 'maint-0.3.2' into maint-0.3.3

"ours" merge to avoid taking 24902 a second time and having to reconcile
all the merge conflicts.
This commit is contained in:
Nick Mathewson 2018-02-16 09:55:41 -05:00
commit 6384d314fb

Diff Content Not Available