Update version number for 5.18.80 GIT_SILENT

Authored by jriddell on Jan 16 2020, 1:15 PM.