> 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 [email protected] https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev
