Tor version: 0.4.1.5

Release date: Aug. 20, 2019