Update version number for 5.12.2 GIT_SILENT

Authored by jriddell on Feb 20 2018, 1:41 PM.