Update to 13.12 version number.