Updated files for the v3.1.12 maintenance release