Re: [tor-relays] Tor 0.3.1.7 - bug report