[tor-bugs] #4280 [Tor Browser]: build changes for TBB

[Tor Bug Tracker & Wiki]

#4280: build changes for TBB
-------------------------+--------------------------------------------------
 Reporter:  ioerror      |          Owner:  mikeperry
     Type:  defect       |         Status:  new      
 Priority:  normal       |      Milestone:           
Component:  Tor Browser  |        Version:           
 Keywords:               |         Parent:           
   Points:               |   Actualpoints:           
-------------------------+--------------------------------------------------
Changes (by gk):

 * cc: g.koppen@… (added)


-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/4280#comment:5>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online