On Tuesday, 15 September 2015 at 08:39:43 UTC, John Colvin wrote:
Where is the VERSION file documented? Why does it need manual intervention only for patch releases and pre-releases?
We should prolly remove the manually updated VERSION file.The other build scripts update the file or pass VERSION=bla to make.