Indeed, that’s planned. I’d like to use the full VERSION rather than just the Git SHA for all downloads, so for example recent 0.7 would be julia-v0.7.0-DEV.3089, this would be julia-v0.6.2, etc.
5 Likes