Update version number for 5.19.80 GIT_SILENT

Authored by ndavis on May 25 2020, 5:50 PM.

Description

Update version number for 5.19.80 GIT_SILENT

Details

Committed
apolMay 25 2020, 5:50 PM
Parents
R134:87a3d8287ff0: Merge branch 'Plasma/5.18' into Plasma/5.19
Branches
Unknown
Tags
Unknown