3.1.3 changes not pushed?