Batch modification to #12411, #12413 by nickm:
-- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=12411%2C12413> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online
_______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs
