On 12/03/2014 12:48 PM, [email protected] wrote: > Perhaps we should post this on tor-dev ?
No. The tor-dev list is for code development, not feature/bug discussions. My suggestion would be to open a ticket in the bug tracker. https://trac.torproject.org/ -- Moritz Bartl https://www.torservers.net/ -- tor-talk mailing list - [email protected] To unsubscribe or change other settings go to https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-talk
