Merge branch 'maint-0.3.3'

"Ours" merge to avoid the maint-0.3.3 version of the TROVE-2018-005
fix, which touches the files in their old locations.
This commit is contained in:
Nick Mathewson 2018-05-22 12:33:09 -04:00
commit 1afdb5b6cc

Diff Content Not Available