set 8.1.2 release date to Oct 31, 2013