Update version number for 5.19.80 GIT_SILENT

Authored by jriddell on May 15 2020, 3:53 PM.