Batch modification to #20940, #21057 by yawning: priority to High -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=20940%2C21057> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online