[tor-commits] [tor] branch maint-0.4.7 updated (7b87ecf7e2 -> e390a7cdee)