[tor-commits] [flashproxy/master] Increase VERSION to 0.12.