[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #21588, #22423, #24217, #25383, ...

Thu Jul 19 18:38:24 UTC 2018

Batch modification to #21588, #22423, #24217, #25383, #25799 by karsten:
priority to Medium

Comment:
This ticket is about the same priority as most other Metrics/* tickets. Setting priority back to medium.

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=21588%2C22423%2C24217%2C25383%2C25799>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online