Merge branch 'maint-0.3.0' into maint-0.3.1

This is an "ours" commit to avoid taking the fix for 22838,
which we already have here.
This commit is contained in:
Nick Mathewson 2017-07-07 10:57:05 -04:00
commit c1bdc3b10e

Diff Content Not Available