Batch modification to #7870, #8897 by nickm: priority to Medium -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=7870%2C8897> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online