[tor-commits] r25321: {} migrate to https://gitorious.org/misc-tor-files. (projects/misc)