* Update release notes to include versions 5.1.2 and 5.1.3.