release is done,but the documentation on https://www.pantsbuild.org/notes-master.html doesn't seem to have been updated