[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #28377, #28378, #28437, #28438, ...

Wed Feb 20 16:01:44 UTC 2019

Batch modification to #28377, #28378, #28437, #28438, #28439 by nickm:


Comment:
Adding tor-ci tag to some tickets that are ci-related

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=28377%2C28378%2C28437%2C28438%2C28439>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online