[tor-dev] Tor 0.3.1 -> 0.3.2 coverage update