Batch modification to #17605, #18757, #19487 by nickm: milestone to Tor: 0.3.1.x-final -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=17605%2C18757%2C19487> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online