[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #6947, #25175, #25177, #26919

Tue Sep 11 10:16:36 UTC 2018

Batch modification to #6947, #25175, #25177, #26919 by karsten:

Action: resolve

Comment:
This is now merged and deployed as part of 7.0-1.18.1. Closing. Thanks!

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=6947%2C25175%2C25177%2C26919>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online