[tor-commits] [dip/master] Upgrade to 12.4.2