[tor-bugs] #8800 [Flashproxy]: Make facilitator public key configurable

[Tor Bug Tracker & Wiki]

#8800: Make facilitator public key configurable
-------------------------+--------------------------------------------------
 Reporter:  dcf          |          Owner:  dcf         
     Type:  enhancement  |         Status:  needs_review
 Priority:  normal       |      Milestone:              
Component:  Flashproxy   |        Version:              
 Keywords:               |         Parent:              
   Points:               |   Actualpoints:              
-------------------------+--------------------------------------------------

Comment(by arlolra):

 Done. Second patch builds on the first.

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