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