Tor version: 0.4.2.7

Release date: March 18, 2020