Tor version: 0.4.2.5

Release date: Dec. 9, 2019