Update version number for 5.12.80 GIT_SILENT

Authored by jriddell on Jan 15 2018, 2:48 PM.