Merge remote-tracking branch 'origin/maint-0.2.4'

Do an "ours" merge to not take the 0.2.4 fix for #9731
This commit is contained in:
Nick Mathewson 2013-10-31 14:08:57 -04:00
commit 8676a08362

Diff Content Not Available