Docs: Adding to 3.1.2 release notes