[tor-commits] [tor-cloud/master] Applied patch from Jeremy