[tor-commits] [tor] branch release-0.4.7 updated (af5ef98d1b -> 645eff49ac)