Batch modification to #6087, #6089 by nickm: Comment: But see #13736 -- if we do that, we should just close this ticket. -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=6087%2C6089> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online