Tor version: 0.3.1.8

Release date: Oct. 25, 2017