What's new in version 13.1.1?

This is a patch release to fix an issue that caused documents in certain circumstances to fail to save properly and to experience other issues such as it not being possible to duplicate them. (The Jira reference is SPT-1215.)

This version was released on Wednesday 15 February 2023.