> Should we wait for Ravi to implement this, or can we go ahead and do it > ourselves as needed? Feel free, Ravi will be busy with other controller functionality for quite a while. _______________________________________________ tor-dev mailing list tor-dev@xxxxxxxxxxxxxxxxxxxx https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev