mutantmonkey  filed a request to merge tor-control-port-proxy 
into filtor :
Show replies by date
Request #5173 has been accepted by jsteel .
Add to favorites
Remove from favorites