Batch modification to #13856, #8387, #15034 by nickm: milestone to Tor: 0.2.7.x-final -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=13856%2C8387%2C15034> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online