[tor-commits] [tor/release-0.2.5] Note that our #13426 fix is also a #13471 fix.