Update version in documentation to 3.1.2