VERSION: Disable GIT_SNAPSHOT for the 4.15.13 release.