[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #18101, #23231, #14205, #16341, ...

Mon Apr 9 07:50:41 UTC 2018

Batch modification to #18101, #23231, #14205, #16341, #17965, #19417, #21704, #22451, #23745, #23930, #24622, #25458 by gk:
priority to Medium

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=18101%2C23231%2C14205%2C16341%2C17965%2C19417%2C21704%2C22451%2C23745%2C23930%2C24622%2C25458>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online