3.1.12 version number bump