Update version number for 5.17.80 GIT_SILENT

Authored by jriddell on Sep 19 2019, 2:29 PM.