[tor-commits] [flashproxy/master] ChangeLog headings for 1.2 and 1.3.