[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #15940, #16248, #17262, #17280, #17285, #17682, #17732, #17811, #18051

Wed Jan 27 22:14:46 UTC 2016

Batch modification to #15940, #16248, #17262, #17280, #17285, #17682, #17732, #17811, #18051 by nickm:
priority to High

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=15940%2C16248%2C17262%2C17280%2C17285%2C17682%2C17732%2C17811%2C18051>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online