[tor-commits] [community/master] see https://github.com/torproject/community/pull/128/