[tor-commits] [arm/master] Merging trunk for release 1.3.7.