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