Blah, what I said was already suggested, but I hadn't received the
original mail when I'd replied
_______________________________________________
tor-dev mailing list
tor-dev@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev

Reply via email to