VERSION: Disable git snapshots for the 4.0.12 release.