push changes accumulated in -dev to release 1.3