Update version number for 5.15.80 GIT_SILENT

Authored by jriddell on Jan 17 2019, 12:46 PM.