Batch modification to #18080, #26545 by gk: priority to Medium Comment: Prio medium -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=18080%2C26545> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online