[tor-commits] [snowflake/master] Update GitHub issue numbers to Trac ticket numbers.