3.1.2
Maintenance release, crash fixes
This tag has no release notes.