Update version number for 5.17.80 GIT_SILENT

Authored by jriddell on Oct 10 2019, 11:45 AM.