[tor-commits] [gettor/master] Merge branch 'develop'