Update version number for 5.19.80 GIT_SILENT

Authored by jriddell on May 14 2020, 11:50 AM.