Release of version 3.1.2.
This tag has no release notes.