Fix VERSION file
Due to a bug in release-tools, the wrong version was committed to this file.
This commit is contained in:
parent
4a372de775
commit
32acffbaab
Due to a bug in release-tools, the wrong version was committed to this file.