Hi all, I opened a new bug agains TorButton here:
https://trac.torproject.org/projects/tor/ticket/4810 and have attached a patch to fix the issue. Cheers, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ tor-dev mailing list [email protected] https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev
