Update release notes to include versions 5.1.2 and 5.1.3.

Small update to include descriptions of versions 5.1.2 and 5.1.3.