Oh dear, I see you've uploaded 2.37-1. But John posted yesterday in response to my question about this:
To avoid confusion like this, the 2.37 tag has been renamed to 2.37git. To sync your tags do: git tag | xargs git tag -d git pull --tags There are now release tags like 2.36 and version tags like 2.37git. So we've got a small version skew now :-( Julian
