Hello, while fixing #630897 I discovered that I had made an uncommited last minute change to the upload. I have fixed this in the repo. It means if you have a checkout you'll need to delete the tag yourself: git tag -d 5.7.7-4 The next fetch will get the new tag. Regards, Thomas