Update RELEASE.txt