[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #25220, #25741, #25894, #25975, ...

Fri May 25 06:21:07 UTC 2018

Batch modification to #25220, #25741, #25894, #25975, #26044, #26045, #26195 by gk:
priority to Very High

Comment:
Adjusting prios of some tickets.

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=25220%2C25741%2C25894%2C25975%2C26044%2C26045%2C26195>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online