[tor-bugs] [Tor Bug Tracker & Wiki] Batch modify: #7144, #8387, #11743, #13589, ...

Tue May 23 15:30:50 UTC 2017

Batch modification to #7144, #8387, #11743, #13589, #13737, #11966, #17193, #17640, #18320, #18988, #19333, #19487, #19552, #20247, #18982 by nickm:
keywords to CoreTorTeam201606

--
Tickets URL: <https://trac.torproject.org/projects/tor/query?id=7144%2C8387%2C11743%2C13589%2C13737%2C11966%2C17193%2C17640%2C18320%2C18988%2C19333%2C19487%2C19552%2C20247%2C18982>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online