Update version number for release 13.1.2.