tor-dev seems like a more logical choice, yes. 2012/8/6 Jordi Espasa Clofent <jespasac at minibofh.org>: > Should I use another tor mail-list (ex. dev) for this question?