Batch modification to #12750, #12759, #12780 by isis: Action: resolve -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=12750%2C12759%2C12780> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online