Update release notes now that we re-released