[tor-commits] [arm/release] Merge commit 'krkhan/master'