[tor-commits] [arm/master] Hotfix for the 1.4.1 release: