VERSION: Disable git snapshots for the 4.2.12 release.