> Well, what do you suggest? Add to metrics-tasks or not?
Personally I don't think it would be worthwhile, but if you'd like to then the script is on the ticket. _______________________________________________ tor-dev mailing list [email protected] https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev
