Update version number for 5.13.4 GIT_SILENT

Authored by jriddell on Jul 31 2018, 12:14 PM.

Description

Update version number for 5.13.4 GIT_SILENT

Details

Committed
jriddellJul 31 2018, 12:14 PM
Parents
R134:fd3bc5e0869a: Merge branch 'Plasma/5.12' into Plasma/5.13
Branches
Unknown
Tags
Unknown
References
tag: v5.13.4