[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #3994, #8310, #8695, #8696, ...

Thu Jan 9 19:20:37 UTC 2020

Batch modification to #3994, #8310, #8695, #8696, #8697, #8707, #8982, #8983, #8984, #8985, #8986, #8988, #8989, #8990 by gk:


--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=3994%2C8310%2C8695%2C8696%2C8697%2C8707%2C8982%2C8983%2C8984%2C8985%2C8986%2C8988%2C8989%2C8990>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online