Batch modification to #3938, #10114 by gk: Action: resolve -- Tickets URL: <https://trac.torproject.org/projects/tor/query?id=3938%2C10114> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online