bergmark opened this issue 8 years ago · 1 comments
The latest hackage release is 4000.3.8 but the latest commit is still on 4000.3.7.
Thanks, fixed. The commit was there under the 4000.3.8 tag, but not on the branch - I keep forgetting that git push --tags doesn't actually push the commit to the branch as well.
git push --tags