[tor-commits] [tor-launcher/master] Version bump to 0.2.12