Update version number for 5.17.80 GIT_SILENT

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