Update version number for 5.13.80 GIT_SILENT

Authored by jriddell on May 18 2018, 2:55 PM.